در نظریه پیچیدگی محاسباتی، یک ماشین تورینگ متناوب (به انگلیسی: Alternating Turing machine) (مخفف انگلیسی: ATM)، ماشین تورینگی غیر قطعی است و شامل قانونی برای پذیرش محاسباتی است که قوانین استفاده شده در تعریف کلاس های پیچیدگی NP و co-NP را کلیت می بخشد.مفهوم ATM توسط Chandra و Stockmeyer و مستقلاً توسط Kozen در سال ۱۹۷۶، و سپس به صورت مشترک، باانتشار در یک مجله در سال ۱۹۸۱ مطرح شد.Q {\displaystyl...
