I am trying to convert a CFG to a CNF, but I don't exactly know how to identify unit productions. Here is my problem,
S -> aA | ABa
A -> AA | a
B -> AbA | bb
I have added a new start variable to make it
S' -> S
S -> aA | ABa
A -> AA | a
B -> AbA | bb
Can someone explain what the unit productions are and how I identify them?
Thanks!
