add CYK decoder