Em complexidade de computação teórica, uma máquina de Turing alternada é uma máquina de Turing não-determinística com a regra que aceita computações que generalizam regras usadas na definição da complexidade das classes NP e co-NP. O conceito de uma ATM foi criado por Chandra e Stockmeyer e independentemente por Kozen em 1976. Wikipedia