Cauliflower: a Solver Generator for Context-Free Language Reachability.
Nicholas HollingumBernhard ScholzPublished in: LPAR (2017)
Keyphrases
- context free
- context dependent
- context sensitive
- context free languages
- grammatical inference
- finite state
- attribute grammars
- grammar rules
- context free grammars
- graph grammars
- inductive inference
- tree languages
- phrase structure
- parse tree
- markov decision processes
- markov chain
- state space
- probabilistic context free grammars
- language model
- regular languages
- natural language processing
- natural language
- machine learning