Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract).
Jos C. M. BaetenBas LuttikPublished in: EXPRESS/SOS (2023)
Keyphrases
- extended abstract
- context free grammars
- formal languages
- context free
- attribute grammars
- tree automata
- lexical semantics
- regular expressions
- regular languages
- grammatical inference
- context free languages
- finite automata
- predicate invention
- grammar induction
- closure properties
- finite state
- production rules
- semantic information
- expressive power
- xml schema
- logic programming
- object oriented
- knowledge representation
- databases