Pushdown Automata and Context-Free Grammars in Bisimulation Semantics.
Jos C. M. BaetenCesare CarissimoBas LuttikPublished in: CoRR (2022)
Keyphrases
- context free grammars
- formal languages
- tree automata
- context free
- regular expressions
- lexical semantics
- attribute grammars
- grammatical inference
- regular languages
- context free languages
- finite automata
- closure properties
- grammar induction
- predicate invention
- pattern matching
- production rules
- finite state
- query language
- machine learning
- tree adjoining
- covering arrays
- xml schema
- conceptual model
- semantic information
- building blocks
- expert systems
- knowledge base