Deterministic input-driven queue automata: finite turns, decidability, and closure properties (Q2344746)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deterministic input-driven queue automata: finite turns, decidability, and closure properties |
scientific article |
Statements
Deterministic input-driven queue automata: finite turns, decidability, and closure properties (English)
0 references
18 May 2015
0 references
input-driven automata
0 references
queue automata
0 references
finite turns
0 references
decidability questions
0 references
closure properties
0 references
