Chomsky Normal Form Theorem