Proof The the Unit-ProductionElimination Algorithm Works ď ľBasic idea: there is a leftmost derivation A =>*lm w in the new grammar if and only if there is such a derivation in the old. ď ľA sequence of unit productions and a non-unit production is collapsed into a single production of the new grammar. 28
cfl3
Issuu converts static files into: digital portfolios, online yearbooks, online catalogs, digital photo albums and more. Sign up and create your flipbook.