Some Observations on 1-Inkdot Alternating Multi-Counter Automata with Sublinear Space
Tsunehiro Yoshinaga · 2000
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