2009 International Joint Conference on Artificial Intelligence (JCAI)
Download PDF

Abstract

This paper investigates some properties of two-way alternating pushdown automata with only existential (universal) states which have inkdots and sublogarithmic space. We show, for example, that for sublogarithmic space-bounded computations, multi-inkdot tow-way alternating pushdown automata with only existential states are incomparable with the ones with only universal states, and the classes of sets accepted by these pushdown automata are not closed under complementation.
Like what you’re reading?
Already a member?
Get this article FREE with a new membership!

Related Articles