CFG-VERIFIER

By Esteban Ariza, Johan Sebastian Giraldo, Mateo Valdes

This is a program written in Python to check if a given string can be produced by a given grammar in CNF using the CYK algorithm.

For more information read the instruccions.