Context-Free Grammars - Chomsky Normal Form - Hampden ...
Context-Free Grammars - Chomsky Normal Form - Hampden ...
Context-Free Grammars - Chomsky Normal Form - Hampden ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Chomsky</strong> <strong>Normal</strong> <strong>Form</strong><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 longrulesDerivations inCNFDefinition (<strong>Chomsky</strong> <strong>Normal</strong> <strong>Form</strong>)A grammar is in <strong>Chomsky</strong> <strong>Normal</strong> <strong>Form</strong>, abbreviated CNF, ifeach rule is of the formA → BC, orA → a,where B and C are nonteriminals not equal to S and a is aterminal. Furthermore, the rule S → ε is allowed.TheMembershipProblem forCFGsAssignment