CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams.
Meghana Aparna SistlaSwarat ChaudhuriThomas W. RepsPublished in: ACM Trans. Program. Lang. Syst. (2024)
Keyphrases
- context free
- context dependent
- context sensitive
- context free languages
- ordered binary decision diagrams
- grammatical inference
- context free grammars
- inductive inference
- phrase structure
- finite state
- grammar rules
- regular languages
- natural language
- probabilistic context free grammars
- high level
- parse tree
- model checking
- multi agent