در تئوری محاسبات، ماشین تورینگ (Turing machine) به یک ماشین حالات متناهی اطلاق میشود که در آن با وقوع هر عبور، یک نماد برروی نوار چاپ میشود. معرفی ماشین تورینگ توسط دانشمند انگلیسی آلن تورینگ در سال ۱۹۳۶ میلادی، گام دیگری را در مسیر ایجاد و پیدایش ماشینهای محاسباتی حالات متناهی به نمایش میگذارد. ماشین تورینگ به صورت ریاضی، ماشینی است که روی یک نوار عمل می کند. روی این نوار، نمادهایی است که ماشین هم می تواند بخواند و هم می تواند بنویسد و همزمان از آن ها استفاده می کند. این عمل به طور کامل با یک سری دستورالعمل ساده محدود تعریف شده است. آلن تورینگ، ماشینهایی را توصیف کرد که بیان میکنند برحسب محاسبه، چه چیز ممکن است و چهچیز ناممکن است. کار این ماشین بررسی نواری با طول نامتناهی است که با OS و IS علامتگذاری شده است.