Determine what the Turing machine in Example 9.7 does when presented with the inputs aba and aaabbbb. Is there any input for which the Turing machine in Example 9.7 goes into an infinite loop?

C++ Programming: From Problem Analysis to Program Design
8th Edition
ISBN:9781337102087
Author:D. S. Malik
Publisher:D. S. Malik
Chapter10: Classes And Data Abstraction
Section: Chapter Questions
Problem 19PE
icon
Related questions
Question
Determine what the Turing machine in Example 9.7 does when presented with the inputs aba and
aaabbbb.
Is there any input for which the Turing machine in Example 9.7 goes into an infinite loop?
Transcribed Image Text:Determine what the Turing machine in Example 9.7 does when presented with the inputs aba and aaabbbb. Is there any input for which the Turing machine in Example 9.7 goes into an infinite loop?
Example 9.7
For E = {a,b}, design a Turing machine that accepts
L= {a,b„:n21}.
Intuitively, we solve the problem in the following fashion. Starting at the leftmost a, we check it off
by replacing it with some symbol, say x. We then let the read-write head travel right to find the
leftmost b, which in turn is checked off by replacing it with another symbol, say y. After that, we go
left again to the leftmost a, replace it with an x, then move to the leftmost band replace it with y, and
so on. Traveling back and forth this way, we match each a with a corresponding b. If after some time
no a's or b's remain, then the string must be in L.
Working out the details, we arrive at a complete solution for which Q= {qo91;9293,94},F= {q4},
E= {a,b},T={a,b, x, y,¤}. The transitions can be broken into several parts. The set
Transcribed Image Text:Example 9.7 For E = {a,b}, design a Turing machine that accepts L= {a,b„:n21}. Intuitively, we solve the problem in the following fashion. Starting at the leftmost a, we check it off by replacing it with some symbol, say x. We then let the read-write head travel right to find the leftmost b, which in turn is checked off by replacing it with another symbol, say y. After that, we go left again to the leftmost a, replace it with an x, then move to the leftmost band replace it with y, and so on. Traveling back and forth this way, we match each a with a corresponding b. If after some time no a's or b's remain, then the string must be in L. Working out the details, we arrive at a complete solution for which Q= {qo91;9293,94},F= {q4}, E= {a,b},T={a,b, x, y,¤}. The transitions can be broken into several parts. The set
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 4 steps with 1 images

Blurred answer
Knowledge Booster
Problems on Turing Machines
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.
Similar questions
  • SEE MORE QUESTIONS
Recommended textbooks for you
C++ Programming: From Problem Analysis to Program…
C++ Programming: From Problem Analysis to Program…
Computer Science
ISBN:
9781337102087
Author:
D. S. Malik
Publisher:
Cengage Learning