Give implementation-level descriptions of Turing machines

Assignment Help Theory of Computation
Reference no: EM133373626

Turing Machines

Models of Computation

Question 1. Consider the state diagram in Figure 1 for the Turing machine MA deciding the language A = {w#w | w ∈ {0, 1}∗}, which was discussed in class. For the input 01#01, give the sequence of configurations that MA enters (you may follow the similar style as we discussed in class).

1075_Turing Machines.jpg

 

Figure 1: The state diagram of the Turing machine MA for Question 1.

Question 2. Consider the following language B = {0n#1n | n ≥ 0}. Give the state diagram of a Turing machine deciding B that follows the following idea: Zigzag across the tape to corresponding positions on either side of # and cross off a 0 on the left side and cross off a 1 on the right side (the idea is similar to the Turing machine for the language A in Question 1, which was discussed in class).
Hint: An easier way to do this is to modify the state diagram in Figure 1.

Question 3. Give implementation-level descriptions of Turing machines that decide the following languages. Recall we discussed in class that an implementation-level description means that you describe the way how the machine moves its head and changes data on the tape, but no need to explain states or transition functions (state diagram is not needed either).

Assignment 4

(a) {w | w ∈ {a, b}∗ and w contains twice as many a's as b's}. You may assume that s is in the language because the number of a's in s (which is zero) is equal to 2 times the number of b's in s (which is also zero).
(b) {aibjck | 0 ≤ i < j < k}.

Question 4. Let a k-PDA be a pushdown automaton that has k stacks. Thus a 0-PDA is an NFA and 1-PDA is a conventional PDA. You already know that 1-PDAs are more powerful (i.e., recognize a larger class of languages) than 0-PDAs. Answer the following questions.

(a) Show that we can use a 2-PDA to simulate a Turing machine (so that the 2-PDA recognizes the same language as the Turing machine).
Note: Since we already know that Turing machines are more powerful than 1-PDAs, the above essentially proves that 2-PDAs are more powerful than 1-PDAs.
(b) Show that 3-PDAs are NOT more powerful than 2-PDAs. (Hint: show that we can use a multi-tape Turing machine to simulate a 3-PDA.)

Question 5. 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 (i.e., this type of Turing machine has the same power as the ordinary Turing machines). (Hint: Show that we can use an ordinary Turing machine with two tapes to simulate a Turing machine with doubly infinite tape.)

Question 6. Show that the class of decidable languages is closed under the operation of
(a) intersection.
(b) star.
(c) complementation.

Question 7. Show that the class of Turing-recognizable languages is closed under the operation of
(a) intersection.
(b) star.

Question 8. Give a high-level description of a nondeterministic Turing machine that decides
the following language:
{w1w1w2w2 | w1, w2 ∈ {0, 1}∗}.
For example, 101000 is in the language because we can have w1 = 10 and w2 = 0, while 1001 is not in the language.

Recall we discussed in class that a high-level description means that you use English to describe the algorithm but no need to describe how the Turing machine manages its tape or head.

Reference no: EM133373626

Questions Cloud

Congress to act in spirit of compromise : According to your text, the intention of the framers of our Constitution was for the members of Congress to act in a spirit of compromise.
What is petty corruption : What is "petty corruption"? What are examples of petty corruption found in Pakistan and Papua New Guinea?
What can hr managers do to help facilitate flexible work : Summarize the three articles that you found. What are the pros and cons of flexible schedules from both the employer's and employee's perspective?
Describe relationships between federalism-race and felonies : Describe relationships between federalism, race, felonies and right to vote. Explain the difference between national-centered power and state-centered power.
Give implementation-level descriptions of Turing machines : CS 3100 Models of Computation, The University of Utah -high-level description means that you use English to describe the algorithm but no need
How that person rule was effective or ineffective : Consider the strategies used by rulers to take and hold political power during the period covered in this unit. Select one ruler from the timeline and locations
Imagine that you are the vice president of human resources : Imagine that you are the Vice President of Human Resources in the scenario, and you have to layoff two of the five employees that report to you.
Dominant ideological spectrum : What are the key elements of US political culture that are accepted across the dominant ideological spectrum?
Provide an overview of the organization of the literature : Provide an overview of the organization of the literature review to establish context ahead of addressing each of the guiding research questions

Reviews

Write a Review

Theory of Computation Questions & Answers

  Finite-state machine design

Create a finite-state machine design to turn your FPGA development board into a simple programmable music box.

  Redundant sequence identi cation

Redundant sequence identi cation

  Compute a shortest superstring

Dynamic programming algorithm to compute a shortest superstring.

  Propositional and predicate logic

Write down a structural induction principle for the PlayTree free type

  Design a syntactic analyzer

Design a syntactic analyzer for the language specified by the grammar

  Design unambiguous grammar to parse expressions

Write a program would read two numbers and then print all numbers between the first and the second, inclusive. Design unambiguous grammar to parse expressions

  Consider a logic function with three outputs

Consider a logic function with three outputs,  A ,  B , and  C , and three inputs,  D ,  E , and  F . The function is defined as follows:  A  is true if at least one input is true,  B  is true

  Considering a single programmed operating system

Considering a single programmed operating system, what is the minimal total time required to complete executions of the two processes? You should explain your answer with a diagram.

  How to construct an nfa

Give a construction that assumes you are given a DFA for L and show how to construct an NFA (with or without ε-moves) to recognize sort(L).

  Equivalence classes to construct minimal dfa for language

How many equivalence classes does this relation have and what are they? Use these equivalence classes to construct the minimal DFA for the language.

  Impact of moore-s law on data center costs

Discuss the impact of Moore's law on data center costs on such things as servers and communications equipment. List at least 3 steps or recommendations your data center can take to offset some or all of the effect of Moore's law.

  Problem encountered in statements in predicate logic

How the problem would be encountered in attempting to represent the following statements in Predicate logic. it should be possible to: John only likes to see French movies.

Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd