Implementación del algoritmo CYK el cual permite validar si una cadena dada es generada por una gramática.