Symmetry Coincides with Nondeterminism for Time-Bounded Auxiliary Pushdown Automata.

Eric Allender Klaus-Jörn Lange

Published in: Computational Complexity Conference (2010)

Keyphrases

finite state
model checking
situation calculus
symmetry detection
cellular automata
finite automata
data sets
timed automata
tree automata
finite state machines
regular expressions
search algorithm
databases
temporal logic
multiscale
knowledge base
database
probabilistic automata