Standard

Wadge degrees of ω-languages of deterministic turing machines. / Selivanov, Victor.

в: RAIRO - Theoretical Informatics and Applications, Том 37, № 1, 01.01.2003, стр. 67-83.

Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Harvard

Selivanov, V 2003, 'Wadge degrees of ω-languages of deterministic turing machines', RAIRO - Theoretical Informatics and Applications, Том. 37, № 1, стр. 67-83. https://doi.org/10.1051/ita:2003008

APA

Selivanov, V. (2003). Wadge degrees of ω-languages of deterministic turing machines. RAIRO - Theoretical Informatics and Applications, 37(1), 67-83. https://doi.org/10.1051/ita:2003008

Vancouver

Selivanov V. Wadge degrees of ω-languages of deterministic turing machines. RAIRO - Theoretical Informatics and Applications. 2003 Янв. 1;37(1):67-83. https://doi.org/10.1051/ita:2003008

Author

Selivanov, Victor. / Wadge degrees of ω-languages of deterministic turing machines. в: RAIRO - Theoretical Informatics and Applications. 2003 ; Том 37, № 1. стр. 67-83.

BibTeX

@article{017faf09cf874370af5c2eac365e1cbe,
title = "Wadge degrees of ω-languages of deterministic turing machines",
abstract = "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 [2].",
keywords = "Hierarchy, Ordinal, Set-theoretic operation, Turing machine, Wadge degree, ω-language",
author = "Victor Selivanov",
year = "2003",
month = jan,
day = "1",
doi = "10.1051/ita:2003008",
language = "English",
volume = "37",
pages = "67--83",
journal = "RAIRO - Theoretical Informatics and Applications",
issn = "0988-3754",
publisher = "EDP Sciences",
number = "1",

}

RIS

TY - JOUR

T1 - Wadge degrees of ω-languages of deterministic turing machines

AU - Selivanov, Victor

PY - 2003/1/1

Y1 - 2003/1/1

N2 - 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 [2].

AB - 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 [2].

KW - Hierarchy

KW - Ordinal

KW - Set-theoretic operation

KW - Turing machine

KW - Wadge degree

KW - ω-language

UR - http://www.scopus.com/inward/record.url?scp=0038804092&partnerID=8YFLogxK

U2 - 10.1051/ita:2003008

DO - 10.1051/ita:2003008

M3 - Article

AN - SCOPUS:0038804092

VL - 37

SP - 67

EP - 83

JO - RAIRO - Theoretical Informatics and Applications

JF - RAIRO - Theoretical Informatics and Applications

SN - 0988-3754

IS - 1

ER -

ID: 127140896