Program Equivalence and Context-Free Grammars.
Barry K. RosenPublished in: J. Comput. Syst. Sci. (1975)
Keyphrases
- context free grammars
- grammatical inference
- context free languages
- syntactic pattern recognition
- test cases
- regular expressions
- covering arrays
- grammar induction
- context free
- attribute grammars
- predicate invention
- production rules
- tree automata
- closure properties
- tree adjoining
- artificial intelligence
- formal languages
- regular languages
- xml schema