Abstract
In the present paper we study the semilinear property of languages approximated by sequences of context-free grammars introduced in [Chy I]. It is shown that each language approximated by a sequence converging with a rate f ε o(log[5]) which is a nondecreasing function is a slip language. In other words, the well-known Parikh theorem holds even for classes wider then the class of context-free languages. In addition the AFL-properties of these languages and some special cases of approximations by context-free languages are also studied to show that in the case of approximations by bounded context-free languages there exists a gap.
Preview
Unable to display preview. Download preview PDF.
References
M.P. Chytil, Kins of CFL, Proceeding of MFCS'86, Lecture Notes in CS vol.233 Springer-Verlag
M.P. Chytil, Almost Context Free Languages, Fundamenta Informaticae IX(1986), 283–322 North-Holland.
M. Chytil, Limity posloupností CF gramatik, Praha 1987.
F.J.Brandenburg On one-way auxiliary pushdown automata Proc. of 3rd GI conf. Theor. Comp. Sci. LNCS 48, 1977.
S.Ginsburg, The mathematical theory of context-free languages. McGraw Hill 1966.
A.Salomaa, Formal languages, Academic Press 1973
M.P.Chytil — M.Platek — J. Vogel A note on the Chomsky hierarchy, The Bulletin of the EATCS 27, 1985.
Semilinear structure of a-languages. TR No.56/1989 Depart. Comp. Sci., Charles University Prague.
Ogden W. — Ross R. — Winklmann An “Interchange lemma” for context-free languages, SIAM J. comp. Vol 15 No2 5/1985.po
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Uyen, P.H. (1990). A stronger version of parikh theorem. In: Rovan, B. (eds) Mathematical Foundations of Computer Science 1990. MFCS 1990. Lecture Notes in Computer Science, vol 452. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0029646
Download citation
DOI: https://doi.org/10.1007/BFb0029646
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52953-8
Online ISBN: 978-3-540-47185-1
eBook Packages: Springer Book Archive