The search functionality is under construction.

IEICE TRANSACTIONS on Information

Some EXPTIME Complete Problems on Context-Free Languages

Takumi KASAI, Shigeki IWATA

  • Full Text Views

    0

  • Cite this

Summary :

Some problems in formal language theory are considered and are shown to be deterministic exponential time complete. They include the problems for a given context-free grammar G, a nondeterministic finite automaton M, a deterministic pushdown automaton MD, of determining whether L(G)L(M), and whether L(MD)L(M). Polynomial time reductions are presented from the pebble game problem, known to be deterministic exponential time complete, to each of these problems.

Publication
IEICE TRANSACTIONS on Information Vol.E76-D No.3 pp.329-335
Publication Date
1993/03/25
Publicized
Online ISSN
DOI
Type of Manuscript
PAPER
Category
Algorithm and Computational Complexity

Authors

Keyword