Pushdown Automata and Context-Free Grammars in Bisimulation Semantics.
Jos C. M. BaetenCesare CarissimoBas LuttikPublished in: Log. Methods Comput. Sci. (2023)
Keyphrases
- context free grammars
- formal languages
- context free
- tree automata
- regular expressions
- attribute grammars
- lexical semantics
- regular languages
- grammatical inference
- context free languages
- predicate invention
- closure properties
- finite automata
- covering arrays
- context sensitive
- model checking
- pattern matching
- building blocks
- logic programming
- finite state
- production rules
- context dependent
- logic programs
- machine learning
- databases