Login / Signup
Symmetry Coincides with Nondeterminism for Time-Bounded Auxiliary Pushdown Automata.
Eric Allender
Klaus-Jörn Lange
Published in:
Electron. Colloquium Comput. Complex. (2010)
Keyphrases
</>
cellular automata
symmetry detection
lattice gas
model checking
probabilistic automata
finite state machines
databases
medial axes
situation calculus
finite automata
finite state automata
formal language theory
real time
timed automata
temporal logic
np complete
search algorithm
data sets