Generates epsilon a parser gramatiky
Ahoj, v reg. gram. v alibu mame takovy ten divny priznak "generatesEpsilon". To nam sice zjednodusilo praci, ale ted me to celkem vysekalo pri priprave ulohy prevodu (E)NKA -> (R)RG na progtest.
Rekneme, ze mame NKA, ktery ma pocatecni stav A, ktery je zaroven koncovy a vede do nej nejaky prechod. Pak "neznaly" student prevede NKA na RG asi timto zpusobem:
G=(..., A) A -> | ..., X -> a A | ...,
Coz je validni a spravny zapis gramatiky pro ALib. Nicmene tohle neni validni regularni gramatika tak jak ji ucime. Spravne by tam mel pridat novy pocatecni neterminal A'. Dal uz to znas.
Nenapada te co s tim?
T