Abstract
After Büchi it has become very natural to interprete formulae of certain logical theories as finite automata, i.e., as recognizing devices. This recognition aspect though, was neglected by the inventor of the concept and the study of the families of linear structures that could be accepted in the language theory sense of the term, was carried out by other authors. The most popular field of application of Büchi type automata is nowadays connected with model checking by considering a process as a possibly infinite sequence of events. For over a decade, the original model has been enriched by adding a time parameter in order to model reactive systems and their properties. Originally Büchi was interested in the monadic second order theory with the successor over ω but he later considered the theory of countable ordinals for which he was led to propose new notions of finite automata. Again these constructs can be viewed as recognizing devices ofwords over a finite alphabet whose length are countable ordinals. They were studied by other authors, mainly Choueka and Wojciechowski to who we owe two Theorems “à la Kleene” asserting the equivalence between expressions using suitable rational operators and subsets (languages) of transfinite words, [6] and [13].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
N. Bedon and O. Carton. An Eilenberg theorem for words on countable ordinals. In Proceedings of Latin’98 Theoretical Informatics, number 1380 in LNCS, pages 53–64. Springer-Verlag, 1998.
Alexis Bés. Decision problems related to the elementary theory of oordinal multiplication. Fund. Math., xxx(xxx):xxx. to appear.
J. Büchi. Transfinite automata recursions and weak second ordre theory of ordinals. In International Congress in Logic, Methodology and Philosophy of Sciences, pages 3–23. North-Holland, 1964.
C. Choffrut and S. Grigorieff. Uniformization of rational relations. In G. Paun J. Karhumäki, H. Maurer and G. Rozenberg, editors, Jewels are Forever, pages 59–71. Springer Verlag, 1999.
C. Choffrut and S. Horváth. Transfinite euqations in transfinite strings.Internat. J. Algebra Comput., 10(5):625–649, 2000.
S. C. Choueka. Finite automata, definable sets and regular expressions over ωn-tapes.J. Comput. System Sci., 17:81–97, 1978.
A. Ehrenfeucht. Applications of games to some problems of mathematical logic. Bull. Académie Polonaise des Sciences, 5:35–37, 1957.
S. Eilenberg. Automata, Languages and Machines, volume B. Academic Press, 1976.
D. Klaua. Allgemeine Mengenlehre. Akademie Verlag, 1969.
F. Maurin. Exact complexity bounds for ordinal addition. Theoret. Comput. Sci., 165(2):247–273, 1996.
F. Maurin. Ehrenfeucht games and ordinal addition. Annals of Pure and Applied Logic, 89(1):53–73, 1997.
W. Sierpiński. Cardinal and Ordinal Numbers. Warsaw: PWN, 1958.
J. Wojciechowski. Finite automata on transfinite sequences and regular expressions. Fundamenta Informaticae, 8(3–4):379–396, 1985.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Choffrut, C. (2002). Elementary Theory of Ordinals with Addition and Left Translation by ω. In: Kuich, W., Rozenberg, G., Salomaa, A. (eds) Developments in Language Theory. DLT 2001. Lecture Notes in Computer Science, vol 2295. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46011-X_2
Download citation
DOI: https://doi.org/10.1007/3-540-46011-X_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43453-5
Online ISBN: 978-3-540-46011-4
eBook Packages: Springer Book Archive