交替式圖靈機

交替式圖靈機 （, ATM ） 是計算複雜度理論中定義的一種非確定型圖靈機 （ NTM ） 。 與一般非確定型圖靈機不同 ， 交替式圖靈機將接受語言的規則一般化到NP和反NP 。 交替式圖靈機的概念由Chandra和於1976年提出 。