A New Proof Technique to Establish Equivalence of the Original and the General Lambda-Free CFG with Linear Increase in Size.

Jainendra K. Navlakha

Published in: BIT (1982)

Keyphrases

special case
original data
natural language processing
genetic algorithm
metadata
integrity constraints
theorem proving
linear systems
context free grammars
nonlinear functions
finite dimensional