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

Tsunehiro YOSHINAGA; Jianliang XU; Katsushi INOUE

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

Cite this

Copy

Tsunehiro YOSHINAGA, Jianliang XU, Katsushi INOUE, "Some Observations on 1-Inkdot Alternating Multi-Counter Automata with Sublinear Space" in IEICE TRANSACTIONS on Information, vol. E83-D, no. 2, pp. 285-290, February 2000, doi: .
Abstract: 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.
URL: https://global.ieice.org/en_transactions/information/10.1587/e83-d_2_285/_p

Copy

@ARTICLE{e83-d_2_285,
author={Tsunehiro YOSHINAGA, Jianliang XU, Katsushi INOUE, },
journal={IEICE TRANSACTIONS on Information},
title={Some Observations on 1-Inkdot Alternating Multi-Counter Automata with Sublinear Space},
year={2000},
volume={E83-D},
number={2},
pages={285-290},
abstract={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.},
keywords={},
doi={},
ISSN={},
month={February},}

Copy

TY - JOUR
TI - Some Observations on 1-Inkdot Alternating Multi-Counter Automata with Sublinear Space
T2 - IEICE TRANSACTIONS on Information
SP - 285
EP - 290
AU - Tsunehiro YOSHINAGA
AU - Jianliang XU
AU - Katsushi INOUE
PY - 2000
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E83-D
IS - 2
JA - IEICE TRANSACTIONS on Information
Y1 - February 2000
AB - 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.
ER -