Abstract
In a preceding paper (Bruyère and Carton, automata on linear orderings, MFCS’01), automata have been introduced for words indexed by linear orderings. These automata are a generalization of automata for finite, infinite, bi-infinite and even transfinite words studied by Büchi. Kleene’s theorem has been generalized to these words. We prove that rational sets of words on countable scattered linear ordering are closed under complementation using an algebraic approach.
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
Bedon, N.: Finite automata and ordinals. Theoret. Comput. Sci. 156, 119–144 (1996)
Bedon, N.: Star-free sets of words on ordinals. Inform. Comput. 166, 93–111 (2001)
Bedon, N., Carton, O.: An Eilenberg theorem for words on countable ordinals. In: Lucchesi, C.L., Moura, A.V. (eds.) LATIN 1998. LNCS, vol. 1380, pp. 53–64. Springer, Heidelberg (1998)
Bruyère, V., Carton, O.: Automata on linear orderings. In: Sgall, J., Pultr, A., Kolman, P. (eds.) MFCS 2001. LNCS, vol. 2136, pp. 236–247. Springer, Heidelberg (2001); IGM report 2001-12
Bruyère, V., Carton, O., Sénizergues, G.: Tree automata and automata on linear orderings. In: Harju, T., Karhumäki, J. (eds.) WORDS 2003. Turku Center for Computer Science, vol. 27, pp. 222–231 (2003)
Büchi, J.R.: Weak second-order arithmetic and finite automata. Z. Math. Logik und grundl. Math. 6, 66–92 (1960)
Büchi, J.R.: On a decision method in the restricted second-order arithmetic. In: Proc. Int. Congress Logic, Methodology and Philosophy of science, Berkeley 1960, pp. 1–11. Stanford University Press, Stanford (1962)
Büchi, J.R.: Transfinite automata recursions and weak second order theory of ordinals. In: Proc. Int. Congress Logic, Methodology, and Philosophy of Science, Jerusalem 1964, North Holland, pp. 2–23 (1965)
Carton, O., Rispal, C.: Complementation of rational sets on scattered linear orderings of finite rank. In: Farach-Colton, M. (ed.) LATIN 2004. LNCS, vol. 2976, pp. 292–301. Springer, Heidelberg (2004)
Girault-Beauquier, D.: Bilimites de langages reconnaissables. Theoret. Comput. Sci. 33(2–3), 335–342 (1984)
Hausdorff, F.: Set theory. In: Chelsea, New York (1957)
Kleene, S.C.: Representation of events in nerve nets and finite automata. In: Shannon, C.E. (ed.) Automata studies, pp. 3–41. Princeton University Press, Princeton (1956)
McNaughton, R.: Testing and generating infinite sequences by a finite automaton. Inform. Comput. 9, 521–530 (1966)
McNaughton, R., Papert, S.: Counter free automata. MIT Press, Cambridge (1971)
Muller, D.: Infinite sequences and finite machines. In: Proc. of Fourth Annual IEEE Symp., editor, Switching Theory and Logical Design, pp. 3–16 (1963)
Nivat, M., Perrin, D.: Ensembles reconnaissables de mots bi-infinis. In: Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing, pp. 47–59 (1982)
Pécuchet, J.-P.: Etude syntaxique des parties reconnaissables de mots infinis, vol. 226, pp. 294–303 (1986)
Perrin, D., Pin, J.-E.: Infinite words. In: Elsevier, editor, Academic Press, London (2003)
Rabin, M.O.: Decidability of second-order theories and automata on infinite trees, vol. 141, pp. 1–35 (1969)
Ramsey, F.D.: On a problem of formal logic. Proc. of the London math. soc. 30, 338–384 (1929)
Rosenstein, J.G.: Linear ordering. Academic Press, New York (1982)
Schützenberger, M.-P.: On finite monoids having only trivial subgroups. Inform. Control 8, 190–194 (1965)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rispal, C., Carton, O. (2004). Complementation of Rational Sets on Countable Scattered Linear Orderings. In: Calude, C.S., Calude, E., Dinneen, M.J. (eds) Developments in Language Theory. DLT 2004. Lecture Notes in Computer Science, vol 3340. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30550-7_32
Download citation
DOI: https://doi.org/10.1007/978-3-540-30550-7_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24014-3
Online ISBN: 978-3-540-30550-7
eBook Packages: Computer ScienceComputer Science (R0)