We describe Wadge degrees of ω-languages recognizable by deterministic Turing machines. In particular, it is shown that the ordinal corresponding to these degrees is ξω where ξ = ω1CK is the first non-recursive ordinal known as the Church-Kleene ordinal. This answers a question raised in [Du0?]. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Selivanov, V. (2003). Wadge degrees of ω-languages of deterministic turing machines. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2607, 97–108. https://doi.org/10.1007/3-540-36494-3_10
Mendeley helps you to discover research relevant for your work.