Abstract
In this paper, we extend the concept of factorization on finite words to ω-rational languages and show how to compute them. We define a normal form for Büchi automata and introduce a universal automaton for Büchi automata in normal form. We prove that, for every ω-rational language, this Büchi automaton, based on factorization, is canonical and that it is the smallest automaton that contains the morphic image of every equivalent Büchi automaton in normal form.
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
Carton, O., Michel, M.: Unambiguous Büchi automata. Theoret. Comput. Sci. 297, 37–81 (2003)
Conway, J.H.: Regular algebra and finite machines. Mathematics series. Chapman and Hall, London (1971)
Lombardy, S.: On the construction of reversible automata for reversible languages. In: Widmayer, P., Triguero, F., Morales, R., Hennessy, M., Eidenbenz, S., Conejo, R. (eds.) ICALP 2002. LNCS, vol. 2380, pp. 170–182. Springer, Heidelberg (2002)
Lombardy, S., Sakarovitch, J.: Star height of reversible languages and universal automata. In: Rajsbaum, S. (ed.) LATIN 2002. LNCS, vol. 2286, pp. 76–90. Springer, Heidelberg (2002)
Lombardy, S., Sakarovitch, J.: The universal automaton. In Logic and Automata. Texts in Logic and Games, vol. 2, pp. 457–504. Amsterdam University Press (2008)
Perrin, D., Pin, J.-É.: Semigroups and automata on infinite words. In: Semigroups, Formal Languages and Groups, pp. 49–72. Kluwer Academic Publishers (1995)
Perrin, D., Pin, J.-É.: Infinite Words. Pure and Applied Mathematics, vol. 141. Elsevier (2004)
Polák, L.: Minimalizations of nfa using the universal automaton. Int. J. Found. Comput. Sci. 16(5), 999–1010 (2005)
Sakarovitch, J. Elements of Automata Theory. Cambridge University Press (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Carnino, V., Lombardy, S. (2013). Factorizations and Universal Automaton of Omega Languages. In: Béal, MP., Carton, O. (eds) Developments in Language Theory. DLT 2013. Lecture Notes in Computer Science, vol 7907. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38771-5_30
Download citation
DOI: https://doi.org/10.1007/978-3-642-38771-5_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38770-8
Online ISBN: 978-3-642-38771-5
eBook Packages: Computer ScienceComputer Science (R0)