Type-based flow analysis and context-free language reachability.
Manuel FähndrichJakob RehofPublished in: Math. Struct. Comput. Sci. (2008)
Keyphrases
- context free
- flow analysis
- context dependent
- context sensitive
- context free languages
- grammatical inference
- context free grammars
- attribute grammars
- information flow
- inductive inference
- tree languages
- regular languages
- graph grammars
- finite state
- grammar rules
- state space
- natural language
- language learning
- probabilistic context free grammars
- decision making