The search functionality is under construction.

IEICE TRANSACTIONS on Information

Some Observations on 1-Inkdot Alternating Multi-Counter Automata with Sublinear Space

Tsunehiro YOSHINAGA, Jianliang XU, Katsushi INOUE

  • Full Text Views

    0

  • Cite this

Summary :

This paper investigates some fundamental properties of 2-way alternating multi-counter automata (2amca's) with only existential (universal) states which have sublinear space and 1 inkdot. It is shown that for any function s(n) log n such that log s(n)=o(log n), s(n) space-bounded 1-inkdot 2amca's with only existential states are incomparable with the ones with only universal states, and the ones with only existential (universal) states are not closed under complementation.

Publication
IEICE TRANSACTIONS on Information Vol.E83-D No.2 pp.285-290
Publication Date
2000/02/25
Publicized
Online ISSN
DOI
Type of Manuscript
LETTER
Category
Theory of Automata, Formal Language Theory

Authors

Keyword