Context-Free Grammars - Chomsky Normal Form - Hampden ...
Context-Free Grammars - Chomsky Normal Form - Hampden ...
Context-Free Grammars - Chomsky Normal Form - Hampden ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Homework Review<strong>Context</strong>-<strong>Free</strong><strong>Grammars</strong> -<strong>Chomsky</strong><strong>Normal</strong> <strong>Form</strong>Robb T.KoetherHomeworkReview<strong>Chomsky</strong><strong>Normal</strong> <strong>Form</strong>New start symbolEliminate all ε-rulesEliminate all unitrulesEliminate all mixedrulesEliminate all longrulesSolution(o) The R must eventually produce X n SX n , for some n ≥ 0.(p) The S must produce either aTb or bTa.(q) The T must eventually produce X m , for some m ≥ 0.(r) Thus, so far, R produces X n aX m bX n or X n bX m aX n , forsome m, n ≥ 0.Derivations inCNFTheMembershipProblem forCFGsAssignment