Chomsky Normal Form In Automata Theory