Push-Down Automata with Gap-Order Constraints (Q2948245)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Push-Down Automata with Gap-Order Constraints |
scientific article |
Statements
Push-Down Automata with Gap-Order Constraints (English)
0 references
30 September 2015
0 references
pushdown automata with data
0 references
control state reachability
0 references
context-free grammars
0 references
