On the Size of Two-Way Reasonable Automata for the Liveness Problem (Q4640037)
From MaRDI portal
scientific article; zbMATH DE number 6868666
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the Size of Two-Way Reasonable Automata for the Liveness Problem |
scientific article; zbMATH DE number 6868666 |
Statements
On the Size of Two-Way Reasonable Automata for the Liveness Problem (English)
0 references
15 May 2018
0 references
two-way finite automata
0 references
descriptional complexity
0 references
nondeterminism vs. determinism
0 references
0 references
0 references
