Certified CYK parsing of context-free languages.

Denis Firsov Tarmo Uustalu

Published in: J. Log. Algebraic Methods Program. (2014)

Keyphrases

context free languages
context free grammars
context free
grammatical inference
context sensitive
context dependent
regular languages
finite state
parse tree
inductive inference
regular expressions
production rules
xml schema
natural language processing