Abstract
The paper discusses results on ω-languages in a recursion theoretic framework which is adapted to the treatment of formal languages. We consider variants of the arithmetical hierarchy which are not based on the recursive sets but on sets defined in terms of finite automata. In particular, it is shown how the theorems of Büchi and McNaughton on regular ω-languages can be viewed as results on collapsing such quantifier hierarchies. Further automata theoretic hierarchies are outlined.
Preview
Unable to display preview. Download preview PDF.
References
J. Berstel [1979] Transductions and Context-Free languages, Teubner, Stuttgart.
J.R. Büchi [1962] On a decision method in restricted second order arithmetic, in "Logic, Methodology and Philosophy of Science. Proc. 1960 Intern. Congr." (E. Nagel et al., eds.), Stanford Univ. Press, pp. 1–11.
[1977] Using determinacy to eliminate quantifiers, in: Fundamentals of Computation Theory (M. Karpinski, ed.), LNCS 56, 367–378.
[1983] State-strategies for games in Fσδ ∩ Gδσ, J. Symb. Logic 48, 1171–1198.
S. Eilenberg [1974] Automata, Languages, and Machines, Vol. A, Academic Press, New York.
P.C. Fischer, A.L. Rosenberg [1968] Multitape one-way nonwriting automata, J. Comput. System Sci. 2, 88–101.
F. Gire, M. Nivat [1984] Relations rationelles infinitaires, Calcolo 21, 91–125.
P.G. Hinman [1978] Recursion-Theoretic Hierarchies, Springer-Verlag, Berlin-Heidelberg-New York.
H.J. Hoogeboom, G. Rozenberg [1986] Infinitary languages: Basic theory and applications to concurrent systems, in: Current Trends in Concurrency (J.W. de Bakker et alt., eds.), LNCS 224, 266–342.
H. Läuchli, C. Savioz [1987] Monadic second order definable relations on the binary tree, J. Symb. Logic 52, 219–226.
L.H. Landweber [1969] Decision problems for ω-automata, Math. Syst. Theory 3, 376–384.
Y.N. Moschovakis [1980] Descriptive Set Theory, North Holland, Amsterdam.
R. McNaughton [1966] Testing and generating infinite sequences by a finite automaton, Inform. Contr. 9, 521–530.
W.V. Quine [1946] Concatenation as a basis for arithmetic, J. of Symbolic Logic 11, 105–114.
L. Priese, R. Rehrmann, U. Willecke-Klemme [1987] An introduction to the regular theory of fairness, Theor. Comput. Sci. 54, 139–163.
H. Rogers [1967] Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York.
L. Staiger [1986] Hierarchies of recursive ω-languages, J. Inf. Process. Cybern. EIK 22, 219–241.
[1987] Research in the theory of ω-languages, J. Inf. Process. Cybern. EIK 23, 415–439.
L. Staiger, K. Wagner [1974] Automatentheoretische und automatenfreie Charakterisierungen topologischer Klassen regulärer Folgenmengen, J. Inf. Process. Cybern. EIK 10, 379–392.
W. Thomas [1988] Automata on infinite objects (preliminary version), Aachener Informatik-Berichte 88-17, RWTH Aachen (to appear in: Handbook of Theoretical Computer Science, J. v. Leeuwen, Ed., North-Holland).
K. Wisniewski [1987] A generalization of finite automata, Fund. Inform. 10, 415–436.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Thomas, W. (1989). Automata and quantifier hierarchies. In: Pin, J.E. (eds) Formal Properties of Finite Automata and Applications. LITP 1988. Lecture Notes in Computer Science, vol 386. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013115
Download citation
DOI: https://doi.org/10.1007/BFb0013115
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51631-6
Online ISBN: 978-3-540-46721-2
eBook Packages: Springer Book Archive