ماشین تورینگ
ماشین تورینگ (Turing Machine)
مدلی ریاضی که در سال 1936م توسط یک ریاضیدان انگلیسی به نام آلن تورینگ[۱] ایجاد شد و به عنوان الگویی برای رایانههای دیجیتال ابداع گردید. ماشین تورینگ یکی از عناصر اصلی در نظریه محاسبات و نظریه پیچیدگی است و به عنوان یک دستگاه منطقی[۲] عمل میکند.