Teoreetilibe informaatika kordamisküsimused
kuulub algolekute, qj lõppolekute hulka), piisab näidata, et iga i,j Induktsioonibaas on olemas.
Eeldame, et Rijk on regulaarne (kindel k, suvaline i,j=2) nii, et
o w1 on tee q1 .. qk läbi olekute {q1, .., qk-1}
o wm on tee qk .
annaabi.ee 
