TPTG wiki

Felhasználói eszközök

Eszközök a webhelyen

Nyomvonal:
szakdoli:redukalas

Összehasonlítás

A kiválasztott és az jelenlegi változat között az alábbi különbségek fordulnak elő:

Összehasonlító nézet hivatkozása

Előző változat mindkét oldalonElőző változat
Következő változat		Előző változat
szakdoli:redukalas [2015/11/26 09:04] – [A szabály hosszredukció elmélete] peterszakdoli:redukalas [2015/12/04 13:49] (aktuális) – [A szabály hosszredukció alkalmazása] peter
Sor 2: Sor 2:
 ====== Szabály hosszredukció ====== ====== Szabály hosszredukció ======
 ===== A szabály hosszredukció elmélete ===== ===== A szabály hosszredukció elmélete =====
-Legyen G = (N, Ʃ, P, S) 3-típusú nyelvtan. Ekkor van olyan G' = (N', Ʃ, P', S) 3-típusú nyelvtan, amelyre L(G) = L(G'), és P'-ben minden szabály A → aB vagy A → λ alakú, ahol A, B ∈ N és a ∈ Ʃ.<sup>5</sup>+Legyen G = (N, Ʃ, P, S) 3-típusú nyelvtan. Ekkor van olyan G' = (N', Ʃ, P', S) 3-típusú nyelvtan, amelyre L(G) = L(G'), és P'-ben minden szabály A → aB vagy A → a alakú (A → λ is megengedett), ahol A, B ∈ N és a ∈ Ʃ.<sup>5</sup>
 ===== A szabály hosszredukció alkalmazása ===== ===== A szabály hosszredukció alkalmazása =====
-A szabály hosszredukció végrehajtásához kapcsoljuk be a „Szabály hosszredukció” kapcsolót. A szabály végrehajtása a „feldolgozás” gomb megnyomására történik. A szabály lefutása során kiírja az indulási állapotot és a lefutás utáni eredmény állapotot.+A szabály hosszredukció végrehajtásához adjuk hozzá a "Feldolgozás műveletei" listához a „Szabály hosszredukció” elemet. A szabály végrehajtása a „feldolgozás” gomb megnyomására történik. A szabály lefutása során kiírja az indulási állapotot és a lefutás utáni eredmény állapotot.
 ===== A szabályredukció folyamata ===== ===== A szabályredukció folyamata =====
 A szabály hosszredukció algoritmus megkeresi az összes olyan szabályt, amelynek jobb oldalán minimum 3 tagból áll. Ezeket a szabályokat alakítja át úgy, hogy a minden szabály amely a szabály halmazban található maximum 2 tagból álljon.\\ \\ A szabály hosszredukció algoritmus megkeresi az összes olyan szabályt, amelynek jobb oldalán minimum 3 tagból áll. Ezeket a szabályokat alakítja át úgy, hogy a minden szabály amely a szabály halmazban található maximum 2 tagból álljon.\\ \\
-A megtalált minimum 3 tagból álló szabályokat először leellenőrzi, hogy valamely 2 tetszőleges tagját tudja-e helyettesíteni egy már meglévő olyan szabállyal, amely bal oldali NT tagjához csak pontosan egy azonos szabály tartozik.\\ \\+A megtalált minimum 3 tagból álló szabályokat először leellenőrzi, hogy valamely 2 tetszőleges tagját tudja-e helyettesíteni egy már meglévő olyan szabállyal, amely bal oldali NT tagjához csak pontosan egy azonos szabály tartozik. A műveletet addig folytatjuk, amíg minden szabály maximum 2 tagból áll.\\ \\
 === Példa az átalakításra === === Példa az átalakításra ===
 Átalakítandó szabály halmaz: Átalakítandó szabály halmaz:
szakdoli/redukalas.1448528662.txt.gz · legutóbbi módosítás: (külső szerkesztés)