Alternation. (English) Zbl 0473.68043
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) |