On the Space Complexity of Turn Bounded Pushdown Automata.

Etsuro Moriya Takemaru Tada

Published in: Int. J. Comput. Math. (2003)

Keyphrases

space complexity
arc consistency
worst case
cellular automata
model checking
finite state
space requirements
finite state machines
regular expressions
finite automata
probabilistic automata
neural network
fine grained
worst case time complexity
lattice gas