Sublogarithmic Space-bounded Multi-inkdot Alternating Pushdown Automata with Only Existential (Universal) States.

Jianliang Xu Jian-liang Wang

Published in: JCAI (2009)

Keyphrases

low dimensional
finite state
higher dimensional
finite state machines
turing machine
finite automaton
model checking
input space
lattice gas
case study
query language
data management
np complete
cellular automata
finite automata
deterministic finite automata