Teoreetilibe informaatika kordamisküsimused
L = T(M); M = (,Q,delta,Q0,F)
Q = {q0, .., qn}
Kõigi stringide hulk, mis viivad automaadi olekust qi olekusse qj:
Rij = {w | (w, qi) * (e,qj)}
Kuna automaadi poolt aktsepteeritav keel on selliste stringide hulk (ühend, kus qi
kuulub algolekute, qj lõppolekute hulka), piisab näidata, et iga i,j Rij0 = {a kuulub terminaalide hulka | qj kuulub delta(a,qi)}
Selllised hulgad on mistahes i,j korral regulaarsed, kuna tegu on ühest
terminaalist koosnevate hulkadega.
Rijn+1 = Rij
Induktsioonibaas on olemas.
Eeldame, et Rijk on regulaarne (kindel k, suvaline i,j
annaabi.ee 
