Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata (Q5271087)
From MaRDI portal
scientific article; zbMATH DE number 6738830
Language | Label | Description | Also known as |
---|---|---|---|
English | Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata |
scientific article; zbMATH DE number 6738830 |
Statements
Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata (English)
0 references
3 July 2017
0 references
parity automata
0 references
Rabin-Mostowski index
0 references
decidability
0 references
alternating automata
0 references
nondeterministic automata
0 references
game automata
0 references