'Q f rej rej' presentation slideshows

#2: Does TM M ever enter the 5 th cell on the tape?

#2: Does TM M ever enter the 5 th cell on the tape?. M C5. Acc. Acc. <M,w>. <M,w>. U. Rej. Rej. U simulates M on input w for 5qg 5 steps. U accepts if M enters the 5 th cell, rejects if M accepts, rejects, or infinitely loops before the end of the steps.

111 views • 4 slides