Here's the answer to yesterday's question.
Q: Suppose we have a Turing machine with a stay-put option, δ:QxΓ→QxΓx{L,R,S}. Can you create an equivalent Turing machine with only L,R moves without enlarging Q or Γ ?
Answer in the picture. Formatted by AI.
about 2 months ago