„Minimálautomata” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
→Példa: kép hiv. jav. |
→Példa: kép hiv. jav. |
||
51. sor:
A következő szimbólum beolvasása már nem okoz semmilyen változást. Az egyszerűbb ábrázolás miatt a {Q<sub>2</sub>,Q<sub>3</sub>,Q<sub>4</sub>,Q<sub>6</sub>,Q<sub>7</sub>,Q<sub>8</sub>} állapotokat egy közös Q<sub>2</sub> állapotba összevonva megadja a keresett minimálautomatát, amelynek állapotdiagramja a következő:
:[[Kép:
Lényeges, hogy a minimálautomata nem a nyelvtanhoz, nem az azt megvalósító automatához, hanem a nyelvhez tartozik. Minden szabályos nyelvhez – az izomorfiáktól eltekintve – egy és csakis egy minimálautomata konstruálható.
|