Összehasonlítás

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

--- szakdoli:redukalas [2015/11/27 10:06] – [A szabály hosszredukció elmélete] peter
+++ szakdoli:redukalas [2015/12/04 13:49] (aktuális) – [A szabály hosszredukció alkalmazása] peter
@@ Sor 4: / Sor 4: @@
 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ó 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á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.\\ \\