Advertisement

Dyck1-reductions of Context-free Languages

  • Matthias Jantzen
  • Manfred Kudlek
  • Klaus-Jörn Lange
  • Holger Petersen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 278)

Abstract

We consider language families obtained from context-free languages by complete cancellation of substrings from the Dyck language with one pair of parentheses. The class of such languages contains languages with arbitrary exponential growth, the Petri net languages, and NP-complete sets.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

4. References

  1. [1]
    R. Book, M. Jantzen, C. Wrathall: Monadic Thue Systems Theor. Comp. Sci. 19, 231–251 (1982)Google Scholar
  2. [2]
    V. Geffert: Grammars with Context Dependency Restricted to Synchronization LNCS 233, 370–378 Springer (1986)Google Scholar
  3. [3]
    T. V. Griffiths: Some Remarks on Derivations in General Rewriting Systems Inf. Contr. 12, 27–54 (1968).Google Scholar
  4. [4]
    M. Jantzen: Thue Congruences and Complete String Rewriting Systems Habilitation, Hamburg (1986). To be published as EATCS monographGoogle Scholar
  5. [5]
    M. Jantzen, H. Petersen: Petri Net Languages and One-sided Dyck-reductions on Context-free Sets To be PublishedGoogle Scholar
  6. [6]
    W. J. Savitch: Some Characterizations of Lindenmayer Systems in Terms of Chomsky-type Grammars and Stack Machines Inf. Contr. 27, 37–60 (1975)Google Scholar
  7. [7]
    W. J. Savitch: Parentheses Grammars and Lindenmayer Systems In: G. Rozenberg, A. Salomaa (editors): The Book of L, 403–411 Springer (1986)Google Scholar
  8. [8]
    D. Stanat: Formal Languages and Power Sets 3 rd ACM Symp. Theory of Computing, 1–11 (1971)Google Scholar
  9. [9]
    J. L. Peterson: Petri Net Theory and the Modelling of Systems Prentice Hall (1981)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Matthias Jantzen
    • 1
  • Manfred Kudlek
    • 1
  • Klaus-Jörn Lange
    • 1
  • Holger Petersen
    • 1
  1. 1.Fachbereich InformatikUniversität HamburgHamburg 13

Personalised recommendations