Volume 10 (2014)
Article 8 pp. 199-215
Symmetry Coincides with Nondeterminism for Time-Bounded Auxiliary Pushdown Automata
Received: December 20, 2011
Revised: September 12, 2014
Published: September 17, 2014
Revised: September 12, 2014
Published: September 17, 2014
Keywords: complexity theory, complexity classes, circuit complexity, nondeterminism, symmetry, reversibility
Categories: complexity theory, complexity classes, circuit complexity, nondeterminism, symmetry, reversibility
ACM Classification: F.1.3, F.1.2, F.1.1
AMS Classification: 68Q15, 68Q10, 68Q45, 68Q05
Abstract: [Plain Text Version]
We show that every language accepted by a nondeterministic auxiliary pushdown automaton in polynomial time (that is, every language in SAC$^1$=LogCFL) can be accepted by a symmetric auxiliary pushdown automaton in polynomial time.