Solves the word problem for CFGs using a modified CYK algorithm (http://www2.tcs.ifi.lmu.de/SeeYK/paper.pdf)