Solving the Two-Dimensional Turing Machine Problem

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 4K views
Tony11235
Messages
254
Reaction score
0

Homework Statement



A two-dimensional Turing machine has the usual finite-state control but a tape that is a two-dimensional grid of cells, infinite in all directions. The input is placed on one row of the grid, with the head at the left end of the input and the control in the start state, as usual. Acceptance is by entering a final state, also as usual. Prove that the languages accepted by two-dimensional Turing machines are the same as those accepted by ordinary TM's.

Homework Equations


None.

The Attempt at a Solution



The problem COULD have something to do with injective mappings, but how use this to show the above...I am stuck.
 
Last edited:
Physics news on Phys.org
Would it make sense to map the two-dimensional tape into a one dimensional tape, afterwhich, the result follows?