交替性チューリング機械は非決定性チューリング機械の一種であり、その状態は2つの集合、「存在的状態(existentialstates)」と「全称的状態(universalstates)」に分けられる。
对一台交替式图灵机而言，状态集被划分为两部分：存在状态（existentialstate）和全称状态（universalstate）。