The search functionality is under construction.

IEICE TRANSACTIONS on transactions

Grammatical Characterizations of P and PSPACE

Zhi-Zhong CHEN, Seinosuke TODA

  • Full Text Views

    0

  • Cite this

Summary :

The notion of alternating context-free grammar (ACFG for short) was introduced by Moriya in 1989. In this paper, we study the relationships between some complexity classes and the classes of languages generated by restricted types of ACFG's. Two restricted types of ACFG's considered are linear ACFG's and ε-free ACFG's. For an ACFG G, let Lleft (G) denote the language of terminal strings generated by leftmost derivations in G. Let {Lleft (G)G is an ε-free ACFG} and ACFLlinear{Lleft (G)G is a linear ACFG's}. The main results of the present paper are as follows:
(1) the class of languages that are log-space many-one reducible to languages in ACFLlinear is equivalent to P, and
(2) the class of languages that are log-space many-one reducible to languages in is equivalent to PSPACE.

Publication
IEICE TRANSACTIONS on transactions Vol.E73-E No.9 pp.1540-1548
Publication Date
1990/09/25
Publicized
Online ISSN
DOI
Type of Manuscript
PAPER
Category
Automaton, Language and Theory of Computing

Authors

Keyword