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

  The challenges of antonios wayfive basic goals often

the challenges of antonios wayfive basic goals often referred to as the backbone of antonios way were posted in

  Write an unambiguous grammar

Write an unambiguous grammar for the given languages- You have to prepare unambiguous grammar for the above languages. Please help! I am stuck on this question

  Your executive directors are proposing to reduce the size

your executive directors are proposing to reduce the size of the hr section or even close the function completely. you

  Ssb has an advantage over am

SSB has an advantage over AM with respect to efficiency and power gain. Why, then, is AM commercial broadcast being replaced with SSB transmission?

  Rice-s theorem for enumerable or non-re

We know by rice's theorem that none of the following problems are decidable. However,are they recursively enumerable,or non-RE? IS L(M) infinite?

  Create standard 1-tape turing machine to calculate function

Create a standard 1-tape Turing machine M to calculate the function sub3. Specifically, calculate sub3 of a natural number represented in binary.

  Predicate function play in an attribute grammar

What role does a predicate function play in an attribute grammar and what role does a lookup function play in an attribute grammar?

  Pto policies have become good tools for hr staff to use in

pto policies have become good tools for hr staff to use in terms of organizational incentives.while reviewing the

  Give english descriptions of the languages

Give English descriptions of the languages represented by the subsequent regular expressions. Example: "languages of binary strings containing 0 in even positions. . ."

  Write down an illustration of a hypothetical situation when

question 1 explain why t1s values above 0 versus c will not matter for comparing algorithms.question 2 give an example

  Derive a contradiction

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

  Design mealy fsm with the input a and output z

Design a Mealy FSM with the input A and an output Z. If 10101 shows up on A, then in same cycle 1 must show up on Z, else Z is 0.

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