Abstract
In this paper we consider deterministic pushdown automata on infinite words with restricted use of the stack. More precisely, this study concerns: (1) Behavior of deterministic one-turn pushdown automata using Büchi and Muller modes of acceptance and (2) Closure properties of these sets by Boolean and limit operators.
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
Büchi, J.R.: On a decision method in the restricted second-order arithmetic. In: Logic, methodology and philosophy of science. Proceedings of the 1960 International Congress, pp. 1–14. Stanford Univ. Press, CA (1962)
Cohen, R., Gold, A.: Theory of ω-languages, I, II. J. Comp. System Sci. 15, 169–208 (1977)
Cohen, R., Gold, A.: ω-computation on deterministic pushdown machines. J. Comp. System Sci. 16, 275–300 (1978)
Eilenberg, S.: Automata languages and machines, vol. A. Academic press, New York (1977)
Linna, M.: On ω-words and ω-computations, Ann. Univ. Turkuensis (1975)
Ginsburg, S., Spanier, E.: Finite-turn pushdown automata. SIAM J. Control (4), 429–453 (1966)
McNaughton, R.: Testing and generating infinite sequences by a finite automaton. Information and Control 9, 521–530 (1966)
Mihoubi, D.: Characterization and closure properties of linear ω-languages. Theor. Comput. Sci. 191, 79–95 (1998)
Mihoubi, D.: Modes de reconnaissance et equités dans les ω-automates à pic, Thèse de Doctorat, Université Paris Nord (1989)
Muller, D.: Infinite sequences and finite machines. In: Ginsburg, S. (ed.) SWCT 1963, pp. 3–16. IEEE, Los Alamitos (1963)
Nivat, M.: Sur les ensembles de mots infinis engendrés par une grammaire algèbrique. Inform. Théorique et Appl. 12(3), 259–278 (1978)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mihoubi, D. (2009). Sets of Infinite Words Recognized by Deterministic One-Turn Pushdown Automata. In: Archibald, M., Brattka, V., Goranko, V., Löwe, B. (eds) Infinity in Logic and Computation. ILC 2007. Lecture Notes in Computer Science(), vol 5489. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03092-5_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-03092-5_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03091-8
Online ISBN: 978-3-642-03092-5
eBook Packages: Computer ScienceComputer Science (R0)