Removing chained productions
Full implementation of Chomsky normal form transformation
Lexicographical string minimum