S -> A A C D A -> aAb | Λ C -> aC | a D -> aDa | bDb | Λ Find Chomsky Normal form 1> Plan: eliminate Λ-productions eliminate unit-productions restrict rhs to terminals or products restrict to 2 variables
Find Chomsky Normal form 1> Plan: eliminate Λ-productions eliminate unit-productions restrict rhs to terminals or products restrict to 2 variables
eliminate Λ-productions eliminate unit-productions restrict rhs to terminals or products restrict to 2 variables