交替式图灵机 交替式图灵机英語Alternating Turing Machine ATM是计算复杂度理论中定义的一种非确定型图灵机NTM与一般非确定型图灵机不同交替式图灵机将接受语言的规则一般化到NP和反NP交替式图灵机的概念由Chandra和Stockmeyer英语Larry Stockmeyer于年提出