Teoreetilibe informaatika kordamisküsimused
Sõna w kuulugu Rijk+1. Tekib 2 varianti:
· Sõna w analüüsile vastav tee automaadis ei läbi olekut qk
w kuulub Rijk on regulaarne
· Olek qk kuulub sõna analüüsil läbitavale teeele
w = w1w2...wm (m>=2) nii, et
o w1 on tee q1 .. qk läbi olekute {q1, .., qk-1}
o wm on tee qk .. qj läbi olekute {q1, .., qk-1}
o wn (1Rkjk
Rijk+1 = Rijk U Rikk (Rkkk)* Rkjk - mis on definitsiooni järgi samuti regulaarne.
Iga paremlineaarne keel on aktsepteeritav (mittedeterministliku) lõpliku
automaadi poolt
G = (,Q,N,S)
M = (, N ühend {F},delta,{S},{F})
Kusjuures:
F ei kuulu N
B kuulub üleminekuf,.ni delta(a,A) parajasti siis, kui A aB on produktsioon
F kuulub delta(a,A) parajasti siis A a on produktsioon
L = T(M), kuna näeme, et eksisteerivad ekvivalentsed tuletuskäigud:
annaabi.ee 
