Automata project 2
Automata project 2, CYK algorithm