[[szakdoli:menu|Szakdolgozat: Véges automaták és reguláris nyelvek kapcsolata]] \\
====== Az önmagukat tartalmazó szabályok leegyszerűsítése ======
Az önmagukat tartalmazó szabályok leegyszerűsítése szabály igen egyszerű. Minden szabály halmazban meg kell nézni, hogy van-e olyan szabály amelynek bal és jobb oldalán is ugyanaz a NT elem található. Pl. A->A\\ \\ Egy ilyen szabály azt jelenti, hogy önmagát hozza létre a NT elem. Ennek alapvetően nincs értelme, hasznossága, tehát ezek a szabályok mindig törölhetőek a szabály halmazból.\\ \\
A szabály algoritmusának Petri hálója:\\
{{:szakdoli:onmagaszabalytorlese.png?800}}