Abstract
Let G be a context-free grammar and let L be the language of all the words derived from any variable of G. We prove the following generalization of Higman’s theorem: any division order on L is a well quasi-order on L. We also give applications of this result to some quasi-orders associated with unitary grammars.
This work was partially supported by MIUR project “Linguaggi formali e automi: teoria e applicazioni”.
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
J. Berstel, Transductions and Context-Free Languages. Teubner, Stuttgart, 1979.
D.P. Bovet and S. Varricchio, On the regularity of languages on a binary alphabet generated by copying systems. Information Processing Letters 44, 119–123 (1992).
A. de Luca and S. Varricchio, Some regularity conditions based on well quasi-orders. Lecture Notes in Computer Science, Vol. 583, pp. 356–371, Springer-Verlag, Berlin, 1992.
A. de Luca and S. Varricchio, Well quasi-orders and regular languages. Acta Informatica 31, 539–557 (1994).
A. de Luca and S. Varricchio, Finiteness and regularity in semigroups and formal languages. EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1999.
A. Ehrenfeucht, D. Haussler, and G. Rozenberg, On regularity of context-free languages. Theoretical Computer Science 27, 311–332 (1983).
T. Harju and L. Ilie, On well quasi orders of words and the confluence property. Theoretical Computer Science 200, 205–224 (1998).
D. Haussler, Another generalization of Higman’s well quasi-order result on Σ*. Discrete Mathematics 57, 237–243 (1985).
G. H. Higman, Ordering by divisibility in abstract algebras. Proc. London Math. Soc. 3, 326–336 (1952).
L. Ilie and A. Salomaa, On well quasi orders of free monoids. Theoretical Computer Science 204, 131–152 (1998).
B. Intrigila and S. Varricchio, On the generalization of Higman and Kruskal’s theorems to regular languages and rational trees. Acta Informatica 36, 817–835 (2000).
J. Kruskal, The theory of well-quasi-ordering: a frequently discovered concept. J. Combin. Theory, Ser. A, 13, 297–305 (1972).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
D’Alessandro, F., Varricchio, S. (2003). On Well Quasi-orders on Languages. In: Ésik, Z., Fülöp, Z. (eds) Developments in Language Theory. DLT 2003. Lecture Notes in Computer Science, vol 2710. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45007-6_18
Download citation
DOI: https://doi.org/10.1007/3-540-45007-6_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40434-7
Online ISBN: 978-3-540-45007-8
eBook Packages: Springer Book Archive