Advertisement

The variable membership problem: Succinctness versus complexity

  • Gerhard Buntrock
  • Krzysztof LoryŚ
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 775)

Abstract

A rule in a grammar is quasi growing if it is growing with respect to given weights of the symbols. Using this definition several types of grammars similar to context sensitive grammars are defined. In this paper we examine the variable membership problem for different types of grammars, namely context-sensitive grammars (CSG), quasi context-sensitive grammars (QCSG), growing context-sensitive grammars (GCSG), quasi growing context-sensitive grammars (QGCSG), and quasi growing grammars (QGG). We show the completeness of these problems in appropriate complexity classes (PSPACE, NEXPTIME). Interestingly the complexity of the variable membership problem differs even when the grammars define the same language class.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BDG88]
    José L. Balcázar, Josep Díaz, and Joaquim Gabarró. Structural Complexity Theory I. Springer, 1988.Google Scholar
  2. [BDG90]
    José L. Balcázar, Josep Díaz, and Joaquim Gabarró. Structural Complexity Theory II. Springer, 1990.Google Scholar
  3. [BL92]
    Gerhard Buntrock and Krzysztof LoryŚ. On growing context-sensitive languages. In Proc. of 19th ICALP, volume 623 of LNCS, pages 77–88. Springer, 1992.Google Scholar
  4. [Bun93]
    Gerhard Buntrock. Growing context-sensitive languages and automata. Technical Report 69, Universität Würzburg, Institut für Informatik, Am Exerzierplatz 3, D-97072 Würzburg, November 1993.Google Scholar
  5. [CH90]
    Sang Cho and Dung T. Huynh. The complexity of membership for deterministic growing context-sensitive grammars. International Journal of Computer Mathematics, 37:185–188, 1990.Google Scholar
  6. [Cre73]
    A. B. Cremers. Normal forms for context-sensitive grammars. Acta Informatica, 3:59–73, 1973.Google Scholar
  7. [DHL92]
    Carsten Damm, Markus Holzer, and Klaus-Jörn Lange. The parallel complexity of iterated morphisms and the arithmetic of small numbers. In Proc. of 17th MFCS, volume 629 of LNCS, pages 227–235. Springer, 1992.Google Scholar
  8. [DW86]
    Elias Dahlhaus and Manfred K. Warmuth. Membership for growing contextsensitive grammars is polynomial. Journal of Computer and System Sciences, 33:456–472, 1986.Google Scholar
  9. [Gol81]
    Leslie M. Goldschlager. ε-productions in context-free grammars. Acta Informatica, 16(3):303–308, 1981.Google Scholar
  10. [HU79]
    John E. Hopcroft and Jeffrey D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, 1979.Google Scholar
  11. [JL77]
    Neil D. Jones and William T. Laaser. Complete problems for deterministic polynomial time. Theoretical Computer Science, 3:105–117, 1977.Google Scholar
  12. [Kar72]
    Richard M. Karp. Reducibility among combinatorial problems. In R. E. Miller and J. W. Thatcher, editors, Complexity of Computer Computations. Plenum Press, New York, 1972.Google Scholar
  13. [Kur64]
    S.-Y. Kuroda. Classes of languages and linear-bounded automata. Information and Control, 7:207–223, 1964.Google Scholar
  14. [MS72]
    Albert R. Meyer and Larry J. Stockmeyer. The equivalence problem for regular expressions with squaring requires exponential space. In Proc. of the 13th Annual IEEE Symposium on Switching and Automata Theory, pages 125–129, 1972.Google Scholar
  15. [NK87]
    Paliath Narendran and Kamela Krithivasan. On the membership problem for some grammars. COINS Technical Report CAR-TR-267 & CS-TR-1787 & AFOSR-86-0092, Center for Automaton Research, University of Maryland, College Park, MD 20742, March 1987.Google Scholar
  16. [Ruz80]
    Walter L. Ruzzo. Tree-size bounded alternation. Journal of Computer and System Sciences, 21:218–235, 1980.Google Scholar
  17. [SM73]
    Larry J. Stockmeyer and Albert R. Meyer. Word problems requiring exponential time: preliminary report. In Proc. of 5th STOC, pages 1–9, 1973.Google Scholar
  18. [Wag86]
    Klaus W. Wagner. The complexity of combinatorial problems with succinct input representation. Acta Informatics, 23:325–356, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Gerhard Buntrock
    • 1
  • Krzysztof LoryŚ
    • 2
  1. 1.Institut für InformatikUniversität WürzburgWürzburgGermany
  2. 2.Instytut InformatykiUniwersytet WroclawskiWroclawPoland

Personalised recommendations