chomsky normal form in automata