12.07.2015 Views

Context-Free Grammars - Chomsky Normal Form - Hampden ...

Context-Free Grammars - Chomsky Normal Form - Hampden ...

Context-Free Grammars - Chomsky Normal Form - Hampden ...

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!