-- Apr 22 In-Class Exercise Thread
1. Let the NTM M = {Q, S, T, delta, q_0, F}, where
Q = {q_0, q_1},
S = {a,b},
T = {a,b,_},
F = {q_1}, and
delta = {δ(q_0,a)={(q_0,a,L),(q_0,a,R)}, δ(q_0,b)={(q_0,a,L),(q_1,b,L)}.
2. Let NTM read the string "b".
Then, M makes the following transition, which is in the transition function: (q_0, b) ⊢ (q_1, b, L).
And, q_1 is an accept state in F, so we're done.
(
Edited: 2020-04-22)
1. Let the NTM M = {Q, S, T, delta, q_0, F}, where
Q = {q_0, q_1},
S = {a,b},
T = {a,b,_},
F = {q_1}, and
delta = {δ(q_0,a)={(q_0,a,L),(q_0,a,R)}, δ(q_0,b)={(q_0,a,L),(q_1,b,L)}.
2. Let NTM read the string "b".
Then, M makes the following transition, which is in the transition function: (q_0, b) ⊢ (q_1, b, L).
And, q_1 is an accept state in F, so we're done.