chomsky normal form in theory of computation