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

  Find logical mismatch between predicate and subject

Which sentence has the logical mismatch between predicate and subject? Choose one of options below as your answer: A. Misunderstanding was as he lost directions.

  Question first step is to select two companies in the same

question first step is to select two companies in the same industry sector hotels restaurants post-secondary

  Design a binary finite state automaton to accept all strings

Design a binary finite state automaton (FSA) to accept all strings that represent valid messages (for your particular codes and parity property) and reject all

  Productions of nonterminals as right regular grammars

Rewrite the productions for each of the following nonterminals as right regular grammars: Identifier, Float. Show the moves made using the DFSA for identifiers in accepting.

  What is collaborative ?ltering

What are we referring to when we talk about a secondary use of data and What is collaborative ?ltering? Who uses it?

  Construct a diagram to map the arguments

Construct a diagram to map the arguments about a moral claim that you have identified and write an essay, which maps closely to the diagram that you constructed in Step 1.

  Complete the program by specifying the regular expression

Regex video and complete the program below by specifying the regular expression on line #48 in order to define strings over {a,b,c} that start and end

  Create and implement a lexical analyzer for c

Create and implement a lexical analyzer for C-- as follows: Write the set of token types to be returned by lexical analyzer. Explain regular expressions for this set of token types.

  Construct a truth table for each of the given arguments

Construct a truth table for each of the following arguments. Determine whether each argument is valid or invalid. Justify your answer with a complete or partial truth table.

  Find the language recognized by fsa

Find the language recognized by the given deterministic finite-state automaton(FSA).

  Derive a contradiction

State your assumptions for a proof by contradiction - Derive a contradiction.

  Design a machine selling three types of drinks

Design a machine selling three types of drinks dl, d2, d3 and two types of stacks sl, s2. The buyers can use three types of coins cl, c2, c3.

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