论文信息 - Wadge degrees of ω-languages of deterministic Turing machines

Wadge degrees of ω-languages of deterministic Turing machines

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 ξ = ω CK 1 is the first non-recursive ordinal known as the Church-Kleene ordinal. This answers a question raised in [Du0?].

Victor L. Selivanov | V. Selivanov

[1] Victor L. Selivanov,et al. Fine hierarchies and Boolean terms , 1995, Journal of Symbolic Logic.

[2] Y. Ershov. On a hierarchy of sets, II , 1968 .

[3] Klaus W. Wagner,et al. The Difference and Truth-Table Hierarchies for NP , 1987, RAIRO Theor. Informatics Appl..

[4] William W. Wadge,et al. Degrees of complexity of subsets of the baire space , 1972 .

[5] V. L. Selivanov. Hierearchies of hyperarithmetical sets and functions , 1983 .

[6] Y. Moschovakis. Descriptive Set Theory , 1980 .

[7] A. Louveau,et al. Some results in the wadge hierarchy of borel sets , 1983 .

[8] Jacques Duparc,et al. A hierarchy of deterministic context-free omega-languages , 2003, Theor. Comput. Sci..

[9] L. Staiger. Languages , 1997, Practice and Procedure of the International Criminal Tribunal for the Former Yugoslavia.

[10] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .

[11] Robert van Wesep,et al. Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II: Wadge degrees and descriptive set theory , 1978 .

[12] John R. Steel,et al. Determinateness and the separation property , 1981, Journal of Symbolic Logic.

[13] William W. Wadge,et al. Reducibility and Determinateness on the Baire Space , 1982 .