交替式图灵机（, ATM）是计算复杂度理论中定义的一种非确定型图灵机（NTM）。与一般非确定型图灵机不同，交替式图灵机将接受语言的规则一般化到NP和反NP。交替式图灵机的概念由Chandra和于1976年提出。
定义.
直观描述.NP的定义中使用了语言的存在形式，亦即如果存在一个选择都能够使得图灵机达到接受状态，那么整个语言就能够被接受。与此对应，反NP的定义中使用了语言的全称形式，亦即整个语言被接受，当且仅当每一个选择都达到一个接受状态。结合这两个定义，可以