Name: ____________________________________________________ Alpha: _____________________
Describe help received: _________________________________________________________________
For Turing Machine M = (Q,Σ,Γ,δ,s) configuration (q,u,x,v) yields (q',u',x',v') in one step if, letting δ(q,x) = (p,y,d):This definition does not allow a TM to move the read/write head left from the first square on the tape.Oh yeah, q can't be h, the halt state!
(q',u',x',v') = {
(p,u,y,v) if d = S (p,uy,v_{1},v_{2}...v_{k}) if d = R and v = v_{1}v_{2}...v_{k} (p,uy, ,λ) if d = R and v = λ (p,u_{1}...u_{m-1},u_{m},yv) if d = L and u = u_{1}u_{2}...u_{m}, where m > 0