Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 8 / Issue 2

available in:   PDF (277 kB) PS (169 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-008-02-0119


On the Computational Complexity of Synchronized Context-Free Languages

Henning Bordihn (Institut für Informatik, Universität Potsdam, Germany)

Markus Holzer (Institut für Informatik, Technische Universitaet München, Germany)

Abstract: We introduce counter synchronized contextfree grammars and investigate their generative power. It turns out that the family of counter synchronized contextfree languages is a proper superset of the family of contextfree languages and is strictly contained in the family of synchronized contextfree languages. Moreover, we establish the space and time complexity of the fixed membership, the general membership, and the nonemptiness problem for synchronized and counter synchronized contextfree languages and solve the mentioned complexity questions in terms of completeness results for complexity classes. In this way we present new complete problems for LOG(CF), NP, and PSpace. It is worth to mention that the main theorem on the PSpacecompleteness of the general membership problem of synchronized contextfree grammars relies on a remarkable normal form for these grammars, namely for every synchronized contextfree grammar one can effectively construct and equivalent grammar of same type without nonsynchronizing nonterminals, except the axiom.

1.) C. S. Calude, K. Salomaa, S. Yu (eds.). Advances and Trends in Automata and Formal Languages. A Collection of Papers in Honour of the 60th Birthday of Helmut Jürgensen.

Keywords: computational complexity, decision problems, formal languages, synchronized grammars

Categories: F.1.3, F.2.2, F.4.2, F.4.3