×
Chandra, Ashok K.; Kozen, Dexter C.; Stockmeyer, Larry J.

Alternation. (English) Zbl 0473.68043

J. Assoc. Comput. Mach. 28, 114-133 (1981).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0473.68043

Cited in 11 Reviews
Cited in 558 Documents

MSC:

68Q25 Analysis of algorithms and problem complexity
03D05 Automata and formal grammars in connection with logical questions
03D10 Turing machines and related notions
03D20 Recursive functions and relations, subrecursive hierarchies
68Q45 Formal languages and automata
68Q05 Models of computation (Turing machines, etc.) (MSC2010)

Keywords:

nondeterminism; alternating Turing machines; complexity classes of languages; subrecursive quantifier hierarchies; alternating finite-state automata; alternating pushdown automata
Cite Review PDF
Full Text: DOI