Teoreetilibe informaatika kordamisküsimused
Q olekusümbolite lõplik tähestik
delta üleminekuf.-n (Q P(Q) .. lähtuvalt produktsioonidest)
Q0 lähteolekud (alamhulgaks olekutele)
F lõppolekud (alamhulgaks olekutele)
Mittedeterministlick |delta(a,q)| <> 1
Deterministlick |delta(a,q)| = 1
|delta(a,q)| = n olekus q sümboli a lugemisel võrdvõimalik minna n olekusse
Konfiguratsioon paar (w,q) kuulub * x Q (aktiivne sümbol / lindile jäänud sõna
+ olek)
lähtekonfiguratisioon (w,q0) q0 kuulub algolekute hulka
lõppkonfiguratsioon (e,r) r kuulub lõppolekute hulka
Töötakt relatsioon konfiguratsioonide hulgal (aw, q 1) (w, q2), parajasti siis, kui
q2 kuulub delta(a,q1) kui üleminekufunktsioonis on lubatud a lugemisel minna
olekust q1 olekusse q2.
Lõpliku automaadi poolt aktsepteeritav keel:
Ülalmainit' automaat aktsepteerib keele:
T(M) = {w | (w,q0) * (e,r), q0 on algolek ja r on lõppolek }
11. Regulaarsete avaldiste, lineaarsete grammatikate ja lõplike automaatide
annaabi.ee 
