ماشین راستگرد خواندنی تورینگ

ماشین راستگردخواندنی توریگ  نوعی خاص از ماشین تورینگ است.

تعریف 
برای تعریف باید از ۷فاکتور نامحدود استفاده میکنیم.
 
که در آن:
  حالتی محدودی از وضیعت هاست.
  مجموعه متناهی از سمبل ها و نمادهاست.
  نماد صفر(تنها نمادی که امکان اتفاق افتادنش به طور نامحدود حتی طی محاسبات هست. )
  یک زیر مجموعه از  که شامل نماد های ورودی جز b هست.
  تابعی به نام تابع انتقال هست ،و R راستگرد است.
  حالت اولیه است.
  وضیعت نهایی یا حالت پذیرفته شده است.

مثالی از ماشین راستگرد خواندنی تورینگ 

{Q = { A، B، C، HALT

b = 0 = blank

Σ = , empty set

δ = see state-table below

F = the one element set of final states HALT
جدول وضیعت برای ماشین فقط خواندنی با 3 حالت و 2 نماد

جستارهای وابسته 
 ماشین‌های تعین‌پذیر حالات متناهی
 اتوماتون تعین‌ناپذیر متناهی
 ماشین‌های حالات متناهی
 ماشین تورینگ

منابع 

 

آلن تورینگ
اتوماتا (مکانیک)
اختراع‌های انگلیسی
روش‌های صوری
علوم رایانه در ۱۹۳۷ (میلادی)
علوم نظری رایانه
ماشین تورینگ
مدل‌های محاسباتی
نظریه بازگشت