Taming transitive redundancy for context-free language reachability.
Yuxiang LeiYulei SuiShuo DingQirun ZhangPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- context free
- context dependent
- context sensitive
- context free languages
- grammatical inference
- transitive closure
- context free grammars
- phrase structure
- attribute grammars
- finite state
- grammar rules
- tree languages
- inductive inference
- graph grammars
- probabilistic context free grammars
- regular languages
- state space
- information retrieval
- low level