Regular solutions of language inequalities and well quasi-orders

Citations of this article
Mendeley users who have this article in their library.


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. © 2005 Elsevier B.V. All rights reserved.




Kunc, M. (2005). Regular solutions of language inequalities and well quasi-orders. In Theoretical Computer Science (Vol. 348, pp. 277–293).

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free