[[پرونده: Maquina.png|بندانگشتی|300px|نمایش هنری یک ماشین تورینگ]]
در [[تئوری محاسبات]] '''ماشین تورینگ''' ({{انگلیسی|Turing machine) به}} یک [[ماشیندستگاه حالاتفرضی متناهی]]است اطلاقکه میشودروی کهنشانهای درآنروی بایک وقوعقطعه هرنوار عبور<ref>Transition</ref>بر یکاساس [[نماد]]<ref>Symbol</ref>جدول بررویقوانین نواردستکاری چاپانجام میشودمیدهد. با وجود اینکه مکانیزم ماشین تورینگ مقدماتی است مفهومش برای پوشش عملکردهای بسیار پیچیده کافی و گستردهاست. ماشین تورینگ میتواند برای شبیهسازی [[الگوریتم]]های [[کامپیوتر]]ی و توضیح نحوه عملکرد یک [[واحد پردازشگر مرکزی]] به کار آید. حافظه این ماشین ساختاری بسیار ساده دارد. یعنی میتواند بصورت یک آرایه یک بعدی از عناصر (سلولها) که هر یک میتوانند حافظ تنها یک نماد باشند، باشد. این آرایه از هر دو طرف باز و نامحدود است (حافظه بینهایت) است و اطلاعات آن میتوانند به هر ترتیبی فراخوانی شوند.