„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: pontosítás
a →‎Megvalósítása: elírás jav
49. sor:
* Létrehozzuk azonknak a lehetséges állapotoknak a halmazát, egy [[adatstruktúra]]-[[halmaz]]t, amelyekbe az automata kerülhet. Ha az utolsó szimbólum beolvasása után az automata állapota ezek között az állapotok között van, akkor elfogadta a stringet.
* Több választási lehetőséget engedünk meg. MindeMinden olyan döntés, amelynek n lehetséges kimenete van, az jelenti, hogy az NFA-ban létre kell hozni a gép legfeljebb <math>n-1</math> másolatát. Az automata új állapotként ezek közül mármelyikbe kerülhet.
 
== Példa ==