# Wadge Degrees of Infinitary Rational Relations

@article{Finkel2008WadgeDO,
title={Wadge Degrees of Infinitary Rational Relations},
author={O. Finkel},
journal={Mathematics in Computer Science},
year={2008},
volume={2},
pages={85-102}
}
• O. Finkel
• Published 2008
• Computer Science, Mathematics
• Mathematics in Computer Science
Abstract.We show that, from the topological point of view, 2-tape Büchi automata have the same accepting power as Turing machines equipped with a Büchi acceptance condition. The Borel and the Wadge hierarchies of the class RATω of infinitary rational relations accepted by 2-tape Büchi automata are equal to the Borel and the Wadge hierarchies of ω-languages accepted by real-time Büchi 1-counter automata or by Büchi Turing machines. In particular, for every non-null recursive ordinal α, there… Expand
11 Citations

#### References

SHOWING 1-10 OF 61 REFERENCES
Borel ranks and Wadge degrees of context free $\omega$-languages
• O. Finkel
• Computer Science, Mathematics
• Mathematical Structures in Computer Science
• 2006
On the Accepting Power of 2-Tape Büchi Automata
• O. Finkel
• Computer Science, Mathematics
• STACS
• 2006
Computer science and the fine structure of Borel sets
• Computer Science, Mathematics
• Theor. Comput. Sci.
• 2001
Decision problems forω-automata
• L. Landweber
• Computer Science, Mathematics
• Mathematical systems theory
• 2005
Automata on Infinite Objects
• W. Thomas
• Computer Science, Mathematics
• Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics
• 1990
Logic, semigroups and automata on words
• J. Pin
• Mathematics, Computer Science
• Annals of Mathematics and Artificial Intelligence
• 2005
On omega-Regular Sets
• K. Wagner
• Computer Science, Mathematics
• Inf. Control.
• 1979
Chains and Superchains for ω-Rational Sets, Automata and Semigroups
• Mathematics, Computer Science
• Int. J. Algebra Comput.
• 1997