/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none} Q13P Question: A Turing machine with... [FREE SOLUTION] | 91Ó°ÊÓ

91Ó°ÊÓ

Question:A Turing machine with stay put instead of left is similar to an ordinary Turing machine, but the transition function has the form

δ:Q×Γ-→Q×Γ×{R,S}.

At each point, the machine can move its head right or let it stay in the same position. Show that this Turing machine variant is not equivalent to the usual version. What class of languages do these machines recognize?

Short Answer

Expert verified

Answer:

The statement is proved below.

Step by step solution

01

Step 1: Turing machine.

A Turing Machine is a mathematical model which consists of an infinite length tape divided into cells on which input is given. It consists of a head which reads the input tape. A state register stores the state of the Turing machine.

02

Language accept by the machine.

a).

A Turing machine with stay put instead of left is similar to an ordinary Turing machine, but the transition function has the form of,

δ:Q×Γ-→Q×Γ×{R,S}.

At each point, the machine can move its head right or let it stay in the same position.

Because head of TM can't move left, it will behave like a finite automata.

Motion of head in right is equivalent to consuming next symbol, and staying at a place is equivalent to consuming an epsilon symbol. When we hit blank symbol check if last state was accept state of TM, if yes then our finite automata accepts. Otherwise automata will reject the input string.
Not giving a formal definition of this TM and finite automata, because it is quite easy to visualization . Hence, the statement is proved.

Unlock Step-by-Step Solutions & Ace Your Exams!

  • Full Textbook Solutions

    Get detailed explanations and key concepts

  • Unlimited Al creation

    Al flashcards, explanations, exams and more...

  • Ads-free access

    To over 500 millions flashcards

  • Money-back guarantee

    We refund you if you fail your exam.

Over 30 million students worldwide already upgrade their learning with 91Ó°ÊÓ!

One App. One Place for Learning.

All the tools & learning materials you need for study success - in one app.

Get started for free

Most popular questions from this chapter

Question:LetB={M1),(M2.......} be a Turing-recognizable language consisting of TM descriptions. Show that there is a decidable language C consisting of TM descriptions such that every machine described in B has an equivalent machine in C and vice versa.

A Turing machine with doubly infinite tape is similar to an ordinary Turing machine, but its tape is infinite to the left as well as to the right. The tape is initially filled with blanks except for the portion that contains the input. Computation is defined as usual except that the head never encounters an end to the tape as it moves leftward. Show that this type of Turing machine recognizes the class of Turing-recognizable languages.

Let A be the language containing only the single string s, where

s=(0iflifeneverwillbefoundonMars. â¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠâ¶ÄŠ1iflifewillbefoundonMarssomeday.)

Is decidable? Why or why not? For the purposes of this problem, assume that the question of whether life will be found on Mars has an unambiguous YES or NO answer.

This exercise concerns TM M1, whose description and state diagram appear in Example 3.9. In each of the parts, give the sequence of configurations that M1 enters when started on the indicated input string.

a. 11.

b. 1#1

c. 1##1

d. 10#11

e. 10#10

This exercise concerns TM M2, whose description and state diagram appear in Example 3.7. In each of the parts, give the sequence of configurations that M2 enters when started on the indicated input string.

a. 0.

b. 00.

c. 000.

d. 000000.

See all solutions

Recommended explanations on Computer Science Textbooks

View all explanations

What do you think about this solution?

We value your feedback to improve our textbook solutions.

Study anywhere. Anytime. Across all devices.