图灵机在理论上能够模拟现代数字计算机的一切运算， 可视为现代数字计算机的数学模型，是一种抽象的计算模型。交替式图灵机（Alternating Turing Machine，ATM）是计算复杂度理论中定义的一种非确定型图灵机（NTM）。与一般非确定型图灵机不同，交替式图灵机将接受语言的规则一般化到NP和反NP。交替式图灵机的概念由Chandra和Stockmeye于1976年提出。NP的定义中使用了语言的存在形式，亦即如果存在一个选择都能够使得图灵机达到接受状态，那么整个语言就能够被接受。与此对应，反NP的定义中使用了语言的全称形式，亦即整个语言被接受，当且仅当每一个选择都达到一个接受状态。结合这两个定义，可以给出一个语言被交替式图灵机接受的定义。