Teoreetilibe informaatika kordamisküsimused
P1 = {A | A on produktsioon ning kuulub (Ne U *)}
Need produktsioonid, mille parema poole stringid on saadavad
stardisümbolist produktsioonide teel.
· Kasutades saavutamatute sübolite elimineerimise algoritmi, genereerime
grammatikast G1 grammatika G'
Grammatikat nimetatakse -vabaks, kui ta ei sisalda ühtegi paremas poolest
evivat produktsiooni või on üks produktsioon S ja S ei sisaldu ühegi teise
produktisiooni paremas pooles.
Tühja parema poolega reeglite elimineerimine:
IN: KV grammatika G = (,N,P,S)
OUT: Ekvivalentne KV grammatika G', milles pole -reegleid
METHOD:
· Keele tühjuse algoritmiga koostame hulga Ne.= {A | A =>* e}
· Konstrueerime hulga P:
o kui A a0B1a1B2a3 .. Bkak on produktsioon (k>= 0), Bi kuulub
Ne, a1 ei kuulu Ne, siis lülitame P koosseisu kõik reeglid kujul
A a0X1a2X2a3 .
annaabi.ee 
