Abstract
The study of finite state automata working on infinite words was initiated by Büchi [1]. Büchi discovered connection between formulas of the monadic second order logic of infinite sequences (S1S) and ω-regular languages, the class of languages over infinite words accepted by finite state automata. Few years later, Muller proposed an alternative definition of finite automata on infinite words [4]. McNaughton proved that with Muller’s definition, deterministic automata recognize all ω-regular languages [2]. Later, Rabin extended decidability result of Büchi for S1S to the monadic second order of the infinite binary tree (S2S) [5]. Rabin theorem can be used to settle a number of decision problems in logic. A theory of automata over infinite words has started from these studies.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Büchi, J.R.: On a decision method in restricted second order arithmetic. Z. Math. Logik Grundlag. Math. 6, 66–92 (1960)
McNaughton, R.: Testing and generating infinite sequences by a finite automaton. Inform. Control 9, 521–530 (1966)
Moore, C., Crutchfield, J.: Quantum automata and quantum grammars Theoretical Computer Science 237, 275–306 (2000)
Muller, D.E.: Infinite sequences an finite machines. In: Proc. 4th IEEE Symp. on Switching Circuit Theory and Logical Design, pp. 3–16 (1963)
Rabin, M.O.: Decidability of second order theories and automata on infinite trees. Trans. AMS 141, 1–37 (1969)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dzelme-Bērziņa, I. (2010). Quantum Finite State Automata over Infinite Words. In: Calude, C.S., Hagiya, M., Morita, K., Rozenberg, G., Timmis, J. (eds) Unconventional Computation. UC 2010. Lecture Notes in Computer Science, vol 6079. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13523-1_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-13523-1_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13522-4
Online ISBN: 978-3-642-13523-1
eBook Packages: Computer ScienceComputer Science (R0)