A program that uses the CYK algorithm to check if a language is in chomsky normal form