Pushdown Automata and Context-Free Grammars in Bisimulation Semantics.
Jos C. M. BaetenCesare CarissimoBas LuttikPublished in: CALCO (2021)
Keyphrases
- context free grammars
- formal languages
- context free
- attribute grammars
- tree automata
- regular expressions
- lexical semantics
- regular languages
- grammatical inference
- context free languages
- finite automata
- grammar induction
- predicate invention
- covering arrays
- closure properties
- finite state
- finite state machines
- natural language
- production rules
- model checking
- query language
- pattern matching
- logic programming
- databases