Pushdown automata and context-free grammars in bisimulation semantics (Q6061666)
From MaRDI portal
scientific article; zbMATH DE number 7774234
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Pushdown automata and context-free grammars in bisimulation semantics |
scientific article; zbMATH DE number 7774234 |
Statements
8 December 2023
0 references
pushdown automaton
0 references
context-free grammar
0 references
bisimilarity
0 references
intermediate acceptance
0 references
state awareness
0 references
Pushdown automata and context-free grammars in bisimulation semantics (English)
0 references
