Deciding the topological complexity of Büchi languages * (Q4598240)
From MaRDI portal
scientific article; zbMATH DE number 6820288
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deciding the topological complexity of Büchi languages * |
scientific article; zbMATH DE number 6820288 |
Statements
19 December 2017
0 references
tree automata
0 references
non-determinism
0 references
Borel sets
0 references
topological complexity
0 references
decidability
0 references
Deciding the topological complexity of Büchi languages * (English)
0 references
