ماشین راستگردخواندنی توریگ (به انگلیسی: Read-only right moving Turing machines) نوعی خاص از ماشین تورینگ است.
Q {\displaystyle Q} حالتی محدودی از وضیعت هاست.
Γ {\displaystyle \Gamma } مجموعه متناهی از سمبل ها و نمادهاست.
b ∈ Γ {\displaystyle b\in \Gamma } نماد صفر(تنها نمادی که امکان اتفاق افتادنش به طور نامحدود حتی طی محاسبات هست. )
Σ {\displaystyle \Sigma } یک زیر مجموعه از Γ {\displaystyle \Gamma } که شامل نماد های ورودی جز b هست.
δ : Q × Γ → Q × Γ × { R } {\displaystyle \delta :Q\times \Gamma \rightarrow Q\times \Gamma \times \{R\}} تابعی به نام تابع انتقال هست ،و R راستگرد است.
q 0 ∈ Q {\displaystyle q_{0}\in Q} حالت اولیه است.
F ⊆ Q {\displaystyle F\subseteq Q} وضیعت نهایی یا حالت پذیرفته شده است.
برای تعریف باید از ۷فاکتور نامحدود استفاده میکنیم. M = ⟨ Q , Γ , b , Σ , δ , q 0 , F ⟩ {\displaystyle M=\langle Q,\Gamma ,b,\Sigma ,\delta ,q_{0},F\rangle } که در آن:
{Q = { A، B، C، HALT
b = 0 = blank
Q {\displaystyle Q} حالتی محدودی از وضیعت هاست.
Γ {\displaystyle \Gamma } مجموعه متناهی از سمبل ها و نمادهاست.
b ∈ Γ {\displaystyle b\in \Gamma } نماد صفر(تنها نمادی که امکان اتفاق افتادنش به طور نامحدود حتی طی محاسبات هست. )
Σ {\displaystyle \Sigma } یک زیر مجموعه از Γ {\displaystyle \Gamma } که شامل نماد های ورودی جز b هست.
δ : Q × Γ → Q × Γ × { R } {\displaystyle \delta :Q\times \Gamma \rightarrow Q\times \Gamma \times \{R\}} تابعی به نام تابع انتقال هست ،و R راستگرد است.
q 0 ∈ Q {\displaystyle q_{0}\in Q} حالت اولیه است.
F ⊆ Q {\displaystyle F\subseteq Q} وضیعت نهایی یا حالت پذیرفته شده است.
برای تعریف باید از ۷فاکتور نامحدود استفاده میکنیم. M = ⟨ Q , Γ , b , Σ , δ , q 0 , F ⟩ {\displaystyle M=\langle Q,\Gamma ,b,\Sigma ,\delta ,q_{0},F\rangle } که در آن:
{Q = { A، B، C، HALT
b = 0 = blank