An alternating Turing machine (ATM) is a Turing machine that can switch the control between two players.