A mechanisation of some context-free language theory in HOL4.
Aditi BarthwalMichael NorrishPublished in: J. Comput. Syst. Sci. (2014)
Keyphrases
- context free
- context dependent
- context sensitive
- grammatical inference
- context free languages
- finite state
- phrase structure
- context free grammars
- tree languages
- attribute grammars
- inductive inference
- grammar rules
- graph grammars
- regular languages
- natural language
- information retrieval
- markov decision processes
- artificial intelligence