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

Eric Allender Klaus-Jörn Lange

Published in: Theory Comput. (2014)

Keyphrases

probabilistic automata
cellular automata
bilateral symmetry
finite state
situation calculus
finite state machines
symmetry detection
finite automata
asymptotically optimal
lattice gas
tree automata
regular expressions
symmetry breaking
data mining
artificial intelligence
medial axes
information retrieval