ALTERNATING TURING MACHINES FOR INDUCTIVE LANGUAGES

作者：Leivant Daniel^*

来源：Logical Methods in Computer Science, 2013, 9(3): 29.

DOI：10.2168/LMCS-9(3:29)2013

• Alternating Turing machines
• inductive and hyper-elementary languages
• arithmetical hierarchy
• polynomial-time hierarchy

We show that alternating Turing machines, with a novel and natural definition of acceptance, accept precisely the inductive (pi(1)(1)) languages. Total alternating machines, that either accept or reject each input, accept precisely the hyper-elementary (Delta(1)(1)) languages. Moreover, bounding the permissible number of alternations yields a characterization of the levels of the arithmetical hierarchy. Notably, these results use simple finite computing devices, with finitary and discrete operational semantics, and neither the results nor their proofs make any use of transfinite ordinals. %26lt;br%26gt;Our characterizations elucidate the analogy between the polynomial-time hierarchy and the arithmetical hierarchy, as well as between their respective limits, namely polynomial-space and pi(1)(1).

• 出版日期2013