[academic] A CYK parser