Abstract
The fundamental results of Büchi [Büc62] and Rabin [Rab69] state that the monadic second-order (mso) theory of the \(\omega \)-chain \((\omega ,\leqslant )\) and of the complete binary tree \(\big (\{0,1\}^*, {\preceq }, {\leqslant _{\mathrm {lex}}}\big )\) is decidable. In both cases the proof relies on a class of finite automata with expressive power equivalent to mso. Because of effective closure properties and decidability of the emptiness problem, the languages of \(\omega \)-words and infinite trees definable in mso are called regular. For a broad introduction to the field of regular languages of infinite objects see [Tho96, PP04, TL93].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Skrzypczak, M. (2016). Introduction. In: Descriptive Set Theoretic Methods in Automata Theory. Lecture Notes in Computer Science(), vol 9802. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-52947-8_2
Download citation
DOI: https://doi.org/10.1007/978-3-662-52947-8_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-52946-1
Online ISBN: 978-3-662-52947-8
eBook Packages: Computer ScienceComputer Science (R0)