We consider variants of alternating auxiliary stack automata and characterize their computational power when the number of alternations is bounded by a constant or unlimited. In this way we get new characterizations of NP, the polynomial hierarchy, P Space, and bounded query classes like NL(NP[1]) and θ2P = PNP[O(log n)], in a uniform framework.
CITATION STYLE
Holzer, M., & McKenzie, P. (2000). Alternating and empty alternating auxiliary stack automata? In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1893, pp. 415–425). Springer Verlag. https://doi.org/10.1007/3-540-44612-5_37
Mendeley helps you to discover research relevant for your work.