交替式图灵机 编辑
交替式图灵机是计算复杂度理论中定义的一种非确定型图灵机。与一般非确定型图灵机不同，交替式图灵机将接受语言的规则一般化到NP和反NP。交替式图灵机的概念由Chandra和Stockmeyer于1976年提出。
1