„Nemdeterminisztikus véges állapotú gép” változatai közötti eltérés
| [nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a →Megvalósítása: link jav |
a →Általános ismertetés: tagolás |
||
7. sor:
Az NFA egy bejövő szimbólumokból álló stringgel dolgozik. Minden egyes bejövő szimbólum hatására a gép állapota az adott átmeneti függvény alapján megváltozik (vagy ugyanaz marad).
A gép nem determinisztikus:
A gép nem determinisztikus, mivel lehetséges olyan belső állapota, amikor az adott belső állapotból egy bejövő szimbólum hatására több lehetséges állapot következhet, illetve létrejön állapotváltás bemenő szimbólum nélkül is. Például, az automata az 1-es állapotban van, és a követekező bejövő szimbólum az ''a'', de az ''a'' beolvasás nélkül a 2-es állapotba kerül, és 3-as állapotba kerül a bejövő ''a'' hatására, azaz egy helyes belső állapotból nem determinált egyértelműen a következő állapot. ▼
* Lehetséges olyan belső állapota, amiből a beolvasott szimbólum hatására több lehetséges állapot egyikébe mehet át.
▲
* Létrejöhet állapotváltás bemenő szimbólum nélkül is.
A bejövő szimbólum nélküli állapotváltozást ''epszilon átmenetnek'' nevezik, és általában a görög ε betűvel jelölik.
| |||