Question: A Random-Access Turing machine (RA-TM) is similar to the standard, single-tape, deter- ministic TM except for its transition function. On a transition, a RA-TM can

A Random-Access Turing machine (RA-TM) is similar to the standard, single-tape, deter- ministic TM except for its transition function. On a transition, a RA-TM can move its head a finite, but arbitrary distance from its current location. Formally, the transition function is:

? : Q ? ? Q ? ({L, R} N)

For example, ?(qi, b) = (qj , c, (L, n)) will cause the RA-TMs head to move n places to the left (stopping at the left-most cell if the jump would cause the head to move off the tape). Prove that every RA-TM has an equivalent standard, single-tape, deterministic TM.

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!