„Absztrakt automata” 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
Mozo (vitalap | szerkesztései) szavak -> betűk |
a Dupla zárójelek cseréje szimplára |
||
23. sor:
*S<sub>0</sub> a kezdőállapot, amiben az automata áll, mikor még nem olvasott semmit a bemenetéről. (Természetesen S<sub>0</sub>∈ Q)
*F állapotok halmaza (F∈Q), ezeket ''elfogadó állapotoknak'' nevezzük.
Ezek után mondhatjuk, hogy <math>L</math> nyelvet az A determinisztikus automata elfogadja (Lásd lejjebb. δ definíciója egy kicsit komplikáltabb nemdeterminisztikus automatákra (NFA
<math>L= \{ w \in \Sigma^{\star}|\hat\delta(S_0,w)\in F\}</math></center>
|