Question: every must move TM is equivalent to a basic TM . Why? a . a must - move TM can be seen as a basic
every must move TM is equivalent to a basic TMWhy?
a a mustmove TM can be seen as a basic TM that happens not to have any transition that uses the "stay" option
b give a basic TM we can convert it into mustmove Tm by replacing every staytransition by two transitions, a transition that moves left followed by a transition that move right. That left move transition writes what the stay transition does, and the right move transition ends up in the same target state as the staytransition
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
