-- Apr 22 In-Class Exercise Thread
Supposed NTM:
N = {Q, ∑, Γ, δ, q, H} where:
Q = {q0, q1},
∑ = {a},
Γ = {a, □},
δ = { (q0 ,a) -> (q0, a, R), (q0, a) -> (q1, □, R) },
Input a:
(q0, a) | - (q1, a)
(
Edited: 2020-04-27)
Supposed NTM:
N = {Q, ∑, Γ, δ, q, H} where:
Q = {q0, q1},
∑ = {a},
Γ = {a, □},
δ = { (q0 ,a) -> (q0, a, R), (q0, a) -> (q1, □, R) },
H = {q1}
Example:
Input a:
(q0, a) | - (q1, a)