Advertisement

On slender context-free languages

  • Danny Raz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 900)

Abstract

In this paper we study slender context-free languages, i.e., those containing at most a constant number of words of each length. Recently, Ilie proved that every such language can be described by a finite union of terms of the form uv i wx i y [I]. We provide a completely different proof of this, using constructive methods. This enables us to prove that thinness and slenderness are decidable. Our proofs are based upon a novel characterization of languages in terms of the structure of the infinite paths in their prefix closure. This characterization seems to be interesting in itself, and can be expanded to more general families of languages.

Key words

formal languages context-free grammars decidability 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ADPS]
    M. Andrasiu, J. Dassow, Gh. Păun and A. Salomaa, “Language-theoretic problems arising from Richelieu cryptosystems”, Theoretical Computer Science 116 (1993), 339–357.Google Scholar
  2. [G]
    S. Ginsburg, The Mathematical Theory of Context-Free Languages, McGraw-Hill Book Company, 1966.Google Scholar
  3. [HA]
    M. A. Harrison, Introduction to Formal Language Theory, Addison-Wesley Publishing Company, 1978, pp. 312–326.Google Scholar
  4. [I]
    L. Ilie, “On a conjecture about slender context-free languages”, Theoretical Computer Science 132 (1994), 427–434.Google Scholar
  5. [PS1]
    G. Păun and A. Salomaa, “Thin and Slender Languages”, Discrete Applied Mathematics, to appear.Google Scholar
  6. [PS2]
    G. Păun and A. Salomaa, “Closure Properties of Slender Languages”, Theoretical Computer Science 120 (1993), 293–301.Google Scholar
  7. [PS3]
    G. Păun and A. Salomaa, “Decision Problems Concerning the Thinness of DOL Languages”, Bulletin of the EATCS 46 (1992), 171–181.Google Scholar
  8. [R]
    D. Raz “Recurrence in Formal Languages”, in preparation.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Danny Raz
    • 1
  1. 1.The Weizmann Institute of ScienceRehovotIsrael

Personalised recommendations