Abstract
We investigate structures recognizable by α-automata with running time a limit ordinal α. The domain of such a structure consists of finite α-words with gaps. An α-automaton resembles a finite automaton but has a limit rule which maps the set of states which appear cofinally often before the limit to a limit state. We determine the suprema of the α-automatic ordinals and the ranks of α-automatic linear orders. The power of α-automata increases with every power of ω.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Choueka, Y.: Finite automata, definable sets, and regular expressions over ω n-tapes. J. Comput. System Sci. 17(1), 81–97 (1978)
Delhommé, C.: Automaticité des ordinaux et des graphes homogènes. C. R. Math. Acad. Sci. Paris 339(1), 5–10 (2004)
Khoussainov, B., Minnes, M.: Three lectures on automatic structures. In: Logic Colloquium 2007. Lect. Notes Log., vol. 35, pp. 132–176. Assoc. Symbol. Logic, La Jolla, CA (2010)
Khoussainov, B., Rubin, S., Stephan, F.: Automatic linear orders and trees. ACM Trans. Comput. Log. 6(4), 675–700 (2005)
Levitz, H.: The Cartesian product of sets and the Hessenberg natural product of ordinals. Czechoslovak Math. J. 29(104)(3), 353–358 (1979)
Wojciechowski, J.: Finite automata on transfinite sequences and regular expressions. Fund. Inform. 8(3-4), 379–396 (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schlicht, P., Stephan, F. (2011). Automata on Ordinals and Linear Orders. In: Löwe, B., Normann, D., Soskov, I., Soskova, A. (eds) Models of Computation in Context. CiE 2011. Lecture Notes in Computer Science, vol 6735. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21875-0_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-21875-0_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21874-3
Online ISBN: 978-3-642-21875-0
eBook Packages: Computer ScienceComputer Science (R0)