در نظریه محاسبات ماشین های همیشه متوقف (به انگلیسی: total Turing machine) که به عنوان های تصمیم گیرنده (decider) یا ماشین تورینگ کامل (به انگلیسی: total Turing machine) نیز شناخته می شوند، ماشینی است که با هر ورودی متوقف می شود. به دلیل توقف مداوم، این ماشین قادر است تصمیم بگیرد که آیا رشته داده شده مربوط به زبان فرمال است یا خیر. آن دسته از زبان هایی که توسط این ماشین ها تصمیم پذیر هستند، مجموعه ...
