Abstract
Two fundamental results of classical automata theory are the Kleene theorem and the Büchi-Elgot-Trakhtenbrot theorem. Kleene’s theorem states that a language of finite words is definable by a regular expression iff it is accepted by a finite state automaton. Büchi-Elgot-Trakhtenbrot’s theorem states that a language of finite words is accepted by a finite-state automaton iff it is definable in the weak monadic second-order logic. Hence, the weak monadic logic and regular expressions are expressively equivalent over finite words. We generalize this to words over arbitrary linear orders.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
In algebraic framework to formal languages the concatenation of \(w_1\) and \(w_2\) is called “the product” and is denoted by \(w_1\cdot w_2\).
- 2.
Hintikka formulas made their first appearance in [6], in the framework of first-order logic.
References
Büchi, J.R.: Weak second-order arithmetic and finite automata. Zeit. Math. Logik und Grundl. Math. 6, 66–92 (1960)
Büchi, J.R.: On a decision method in restricted second order arithmetic. In: Logic, Methodology and Philosophy of Science, pp. 1–11. Stanford University Press (1962)
Colcombet, T.: Personal communication, September 2012
Elgot, C.: Decision problems of finite-automata design and related arithmetics. Trans. Am. Math. Soc. 98, 21–51 (1961)
Gurevich, Y.: Monadic second order theories. In: Barwise, J., Feferman, S. (eds.) Model Theoretic Logics, pp. 479–506. Springer, Heidelberg (1986)
Hintikka, J.: Distributive normal forms in the calculus of predicates. Acta Philos. Fennica 6 (1953)
Kleene, S.: Representation of events in nerve nets and finite automata. Automata Studies, pp. 3–41. Princeton University Press (1956)
Ladner, R.E.: Application of model theoretical games to linear orders and finite automata theory. Inf. Control 9, 521–530 (1977)
Läuchli, H., Leonard, J.: On the elementary theory of linear order. Fund. Math. 59, 109–116 (1966)
McNaughton, R.: Testing and generating infinite sequences by a finite automaton. Inf. Control 9, 521–530 (1966)
McNaughton, R., Papert, S.: Counter-Free Automata. The MIT Press, Cambridge (1971)
Rabin, M.O.: Decidability of second-order theories and automata on infinite trees. Trans. Am. Math. Soc. 141, 1–35 (1969)
Rabinovich, A.: Star free expressions over the reals. Theoret. Comput. Sci. 233, 233–245 (2000)
Shelah, S.: The monadic theory of order. Ann. Math. 102, 379–419 (1975). Ser. 2
Thomas, W.: Star free regular sets of \(\omega \)-sequences. Inf. Control 42, 148–156 (1979)
Thomas, W.: Ehrenfeucht games, the composition method, and the monadic theory. In: Mycielski, J., Rozenberg, G., Salomaa, A. (eds.) Structures in Logic and Computer Science. LNCS, vol. 1261, pp. 118–143. Springer, Heidelberg (1997)
Trakhtenbrot, B.A.: The synthesis of logical nets whose operators are described in terms of one-place predicate calculus. Doklady Akad. Nauk SSSR 118(4), 646–649 (1958)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Rabinovich, A. (2016). On Expressive Power of Regular Expressions over Infinite Orders. In: Kulikov, A., Woeginger, G. (eds) Computer Science – Theory and Applications. CSR 2016. Lecture Notes in Computer Science(), vol 9691. Springer, Cham. https://doi.org/10.1007/978-3-319-34171-2_27
Download citation
DOI: https://doi.org/10.1007/978-3-319-34171-2_27
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-34170-5
Online ISBN: 978-3-319-34171-2
eBook Packages: Computer ScienceComputer Science (R0)