Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis.
Chenghang ShiHaofeng LiYulei SuiJie LuLian LiJingling XuePublished in: ASE (2023)
Keyphrases
- context free
- reachability analysis
- context dependent
- finite state
- context free languages
- markov decision processes
- context sensitive
- grammatical inference
- model checking
- grammar rules
- inductive inference
- context free grammars
- tree languages
- attribute grammars
- phrase structure
- regular languages
- artificial intelligence
- timed automata
- text mining
- search algorithm
- incremental algorithms
- keywords
- probabilistic context free grammars
- high level