I have this problem where I need to convert the following CFG to CFG in CNF.
S-> ABa
A-> aab
B-> Ac
I know the steps are as follows.
- Remove epsilon transitions - Done
- remove unit productions
- convert to CNF by:
- introduce a new non terminal for each term
- replace terminals in the productions rules with the new nonterminal
- introduce new nonterminals to reduce the length of the right side of each production
I'm a bit confused on how I would do that with the problem above. Mostly I am confused on step 2 and unit productions.