A grammatical approach to the LBA problem

  • Henning Bordihn
1. Regulated Rewriting
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1218)


In this paper, the degree of non-regulation for programmed grammars is introduced, as the largest number of elements in success or in failure fields. We show that this measure can be restricted to two without loss of generative capacity. Moreover, we present interrelations between the lba problem on the one hand and the relationship between the families of languages described by λ-free programmed grammars with degree of non-regulation one and two on the other hand. Especially, in case of accepting programmed grammars with monotone core rules and leftmost derivations this relationship exactly characterizes the lba problem.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    H. Bordihn and H. Fernau. Accepting grammars and systems. Technical Report 9/94, Universität Karlsruhe, Fakultät für Informatik, 1994.Google Scholar
  2. 2.
    H. Bordihn and H. Fernau. Accepting grammars with regulation. International Journal of Computer Mathematics, 53:1–18, 1994.Google Scholar
  3. 3.
    H. Bordihn and H. Fernau. Accepting grammars and systems via context condition grammars. Journal of Automata, Languages and Combinatorics, 1(2):97–112, 1996.Google Scholar
  4. 4.
    J. Dassow and Gh. Păun. Regulated Rewriting in Formal Language Theory, volume 18 of EATCS Monographs in Theoretical Computer Science. Berlin: Springer, 1989.Google Scholar
  5. 5.
    H. Fernau. Membership for 1-limited ETOL languages is not decidable. J. Inf. Process. Cybern. EIK (formerly Elektron. Inf.verarb. Kybern.), 30(4):191–211, 1994.Google Scholar
  6. 6.
    J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Reading (MA): Addison-Wesley, 1979.Google Scholar
  7. 7.
    A. K. Salomaa. Formal Languages. Academic Press, 1973.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Henning Bordihn
    • 1
  1. 1.Fakultät für InformatikOtto-von-Guericke-Universität MagdeburgMagdeburgGermany

Personalised recommendations