Shrinking alternating two-pushdown automata

Friedrich Otto, Etsuro Moriya

    研究成果: Article査読

    5 被引用数 (Scopus)

    抄録

    The alternating variant of the shrinking two-pushdown automaton of Buntrock and Otto (1998) is introduced. It is shown that the class of languages accepted by these automata is contained in the class of deterministic context-sensitive languages, and that it contains a PSPACE-complete language. Hence, the closure of this class of languages under log-space reductions coincides with the complexity class PSPACE.

    本文言語English
    ページ(範囲)959-966
    ページ数8
    ジャーナルIEICE Transactions on Information and Systems
    E87-D
    4
    出版ステータスPublished - 2004 4

    ASJC Scopus subject areas

    • 情報システム
    • コンピュータ グラフィックスおよびコンピュータ支援設計
    • ソフトウェア

    フィンガープリント

    「Shrinking alternating two-pushdown automata」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル