„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
szavak -> betűk
Pasztillabot (vitalap | szerkesztései)
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>&isin; Q)
*F állapotok halmaza (F&isin;Q), ezeket ''elfogadó állapotoknak'' nevezzük.
Ezek után mondhatjuk, hogy <math>L</math> nyelvet az A determinisztikus automata elfogadja (Lásd lejjebb. &delta; definíciója egy kicsit komplikáltabb nemdeterminisztikus automatákra (NFA)), ahol <center><math>M=\langle Q, \Sigma, \delta, S_0, F\rangle</math> és
<math>L= \{ w \in \Sigma^{\star}|\hat\delta(S_0,w)\in F\}</math></center>