×

zbMATH — the first resource for mathematics

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)
PDF BibTeX XML Cite
Full Text: DOI