Abstract
By means of constructing suitable well quasi-orders of free monoids we prove that all maximal solutions of certain systems of language inequalities are regular. This way we deal with a wide class of systems of inequalities where all constants are languages recognized by finite simple semigroups. In a similar manner we also demonstrate that the largest solution of the inequality XK ⊆ LX is regular provided the language L is regular.
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
Baader, F., Küsters, R.: Unification in a description logic with transitive closure of roles. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol. 2250, pp. 217–232. Springer, Heidelberg (2001)
Choffrut, C., Karhumäki, J., Ollinger, N.: The commutation of finite sets: A challenging problem. Theor. Comput. Sci. 273, 69–79 (2002)
Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall, Boca Raton (1971)
Ehrenfeucht, A., Haussler, D., Rosenberg, G.: On regularity of context-free languages. Theor. Comput. Sci. 27, 311–332 (1983)
Higman, G.: Ordering by divisibility in abstract algebras. Proc. Lond. Math. Soc. 2, 326–336 (1952)
Howie, J.M.: Fundamentals of Semigroup Theory. Oxford University Press, Oxford (1995)
Karhumäki, J., Petre, I.: Conway’s problem for three-word sets. Theor. Comput. Sci. 289, 705–725 (2002)
Karhumäki, J., Petre, I.: Two problems on commutation of languages. In: Current Trends in Theoretical Computer Science, World Scientific, Singapore (to appear)
Kruskal, J.B.: Well-quasi-ordering, the tree theorem, and Vazsonyi’s conjecture. Trans. Amer. Math. Soc. 95, 210–225 (1960)
Kruskal, J.B.: The theory of well-quasi-ordering: a frequently discovered concept. J. Comb. Theory, Ser. A 13, 297–305 (1972)
Kunc, M.: The power of commuting with finite sets of words (2004) (manuscript), available at http://www.math.muni.cz/~kunc
Kunc, M.: Regular solutions of language inequalities and well quasi-orders (2004) (manuscript), available at http://www.math.muni.cz/~kunc
Leiss, E.L.: Language Equations. Springer, Heidelberg (1999)
Okhotin, A.: Decision problems for language equations (2003) (submitted)
Okhotin, A.: Greatest solutions of language equations (2003) (submitted)
Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages. Springer, Heidelberg (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kunc, M. (2004). Regular Solutions of Language Inequalities and Well Quasi-orders. In: Díaz, J., Karhumäki, J., Lepistö, A., Sannella, D. (eds) Automata, Languages and Programming. ICALP 2004. Lecture Notes in Computer Science, vol 3142. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27836-8_73
Download citation
DOI: https://doi.org/10.1007/978-3-540-27836-8_73
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22849-3
Online ISBN: 978-3-540-27836-8
eBook Packages: Springer Book Archive