Devise and give the flow graph of a turing machine

Assignment Help Theory of Computation
Reference no: EM13951056

Please see the attached file for the fully formatted problems.

(a) We wish to design a Turing machine which, using monadic notation, inputs a
pair (in, n) of positive integers in standard starting position (on an otherwise blank tape), and which halts scanning the rightmost of a string of in is on an otherwise blank tape.
Write down which of the following Turing nuchines is suitable for this task. For each machine which is unsuitable, explain why it is unsuitable this explanation can take the form of a sequence of configurations for appropriate test data.
.....
(b) Devise and give the flow graph of a Turing machine which, if started scanning the rightmost of a string of n is (on an otherwise blank tape). would halt scanning a single 1 on an otherwise blank tape.
.....
In this question, we consider the Turing machine 31 with the flow graph below.
...
(a) Write down the machine table for 31. [2]

(b) For each of the following starting configurations of the machine 31. write down the sequence of configurations for the subsequent computation.

(i)0110 (ii) 01110 (iii)0111110
...
(c) The machine 31 has been designed to take as input a positive integer in monadic notation and to output an integer also in monadic notation. Thu.s the machine computes the values of a function!': P ?> N.

(i) Wnte down the values of f(l),f(2),f(3),f(4),f(5). [2.5]

(ii) What, in general. is the value off(n) for vs Є p Describe briefly how the machine computesJ(n), including an indication of each possible halting state and the circumstances under which it halts there.

Attachment:- brainmass logic.doc

Reference no: EM13951056

Questions Cloud

Conduct a t-test to determine if there is a bias in sample : Conduct a t-test for independent samples to determine if respondents' assessment of County government service delivery differed between those who had contact with the County in the last year versus those who did not.
Printout for the straight-line regression model : The results are displayed in the table (p.397). A MINITAB printout for the straight-line regression model and a MINITAB residual plot are displayed at left.
Conclude that sat is np-complete : Let  be a 3cnf-formula. An  assignment to the variables of  is one where each clause contains two literals with unequal truth values. In other words an  -assignment satisfies  without assigning three true li..
Analysis of claims and contract disputes : In preparation for this assignment, review the Whitticks (2005) ‘Workshop Exercises' reading listed in the Required Resources for this week. Using the analysis of claims and contract disputes included in that material, assume the following:
Devise and give the flow graph of a turing machine : Write down which of the following Turing nuchines is suitable for this task. For each machine which is unsuitable, explain why it is unsuitable this explanation can take the form of a sequence of configurations for appropriate test data.
Problem regarding the operations costing : Vermont Instruments manufactures two models of calculators. The finance model is the Fin-X and the scientific model is the Sci-X. Both models are assembled in the same plant and require the same assembling operations. The difference between the mo..
What is your calculated t-test value : In particular, you would like to determine whether the two populations have the same mean age. A sample of 37 infected patients has mean age of 27.9 years and a standard deviation of 5.6 years; a sample of 19 patients who are not infected has mea..
High-low method-scattergraph : Cubicle Solutions sells productivity software such as word processors, spreadsheets, and personal information managers. Cubicle prides itself on customer support and maintains a large call center where customers can call in with technical question..
Problem regarding the basic cost flow model : Assume that the following events occurred at a division of Generic Electric for March of the current year. 1. Purchased $45 million in direct materials. 2. Incurred direct labor costs of $24 million.

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