algoritmo de Cocke, Younger y Kasami (CYK) para hacer la prueba de membresía de cadenas, para Lenguajes Libres de Contexto (LLC).