Question

In: Physics

Describe a non-deterministic two-tape TM for testing whetehr the string on the first tape is a...

Describe a non-deterministic two-tape TM for testing whetehr the string on the first tape is a substring of the string in the second a tape. choose your own test cases

Solutions

Expert Solution

W e will now build a machine to demonstrate two properties at once: a multi tape machine that uses nondeterminism. We will develop a machine with two tapes, T1 and T2, with both tapes having input alphabet of   and tape alphabet. The machine accepts if the (a+b)* string in T2, and rejects otherwise.

Start JFLAP if it is not already running; if it is running select the menu item File: New. From the list presented choose a new Multi tape Turning machine. Before the editor appears, a dialog asks for the number of tapes for this new TM. The default is 2; we want two tapes, but nevertheless click on 2 and see them popup menu with integer 2 through 5, allowing the choice of the number of tapes for this machine, select 2 once more and click on OK. A new window with the familiar automation editor appears. Create the three states q0, q1, q2. Make q0 the initial state and q2 the single final state. Create a single transition from q0 to q2. Instead of a single row as seen earlier for single-tape machine transitions, for an n tape machine, there are n rows as there are n tape heads to read a symbol from, write and move. The ith row directs what must be read from, written to, and how the head of an ith tape.

In the first row, enter as the symbol to be read and written and set the direction symbol to S; recall that to enter you leave a field empty. In the second row, enter b as the symbol to be read and written and set the direction symbol to be R, Finish editing the transition, your transition will appear with the label; S|b;b; R. The n independent controls of each of the n read-write heads are delimited by the vertical bars |. The transitions from q0 to q2 handle the special case where T1 is empty, in which case T1 is always a substring of T2.


Related Solutions

a. Write out – draw the diagram with states and arrows – for a one-tape deterministic...
a. Write out – draw the diagram with states and arrows – for a one-tape deterministic Turing machine that accepts the language over {a,b, !}   L = {w!x!w: x,w in (a|b)*} = {!!, a!!a, …, aba!a!aba, … bbba!aa!bbba, …. (strings in L have three parts divided by !.   First and third parts must be equal.) b. Write out the sequence of configurations for some string of length at least 5 (can be in L or not in L) c. What...
Describe a non-deterministic Turing machine algorithm that takes one integer and checks for primality. What is...
Describe a non-deterministic Turing machine algorithm that takes one integer and checks for primality. What is the complexity of the algorithm?
Create a 3-tape Turing machine that implements multiplication with binary numbers. The first tape and the...
Create a 3-tape Turing machine that implements multiplication with binary numbers. The first tape and the second tape hold the numbers being multiplied and the third tape holds the product of the first two tapes. The two binary numbers may be different lengths.
Describe these two types of audit testing: Substantive Testing and Testing of Internal Controls. Questions to...
Describe these two types of audit testing: Substantive Testing and Testing of Internal Controls. Questions to address: What are the goals of each type of testing? When is each type of testing required? How is the testing documented? What is the impact when the auditor finds and 'error' or a 'deviation'? Address this to a business owner that is about to be subjected to a financial statement audit.
representative and non-representative testing
Differentiate between representative and non-representative testing. What client actors determine which is most appropriate in planning audit procedures?
Given a non-deterministic automaton M = (K, Σ, s, ∆, F ) for K = {q0,...
Given a non-deterministic automaton M = (K, Σ, s, ∆, F ) for K = {q0, q1, q2, q3}, s = q0, Σ = {a, b}, F = {q1, q2, q3}, and ∆ = {(q0, a, q1), (q0, b, q3), (q1, a, q2), (q1, b, q1), (q3, a, q3), (q3, b, q2)} 1. (1pts) Draw the diagram of M 2. (2pts) Explain why M is not deterministic 3 (5pts) DRAW a diagram of a deterministic M0 such that M ≈...
Turing machine A that does the following: • On its first and second tape, A receives...
Turing machine A that does the following: • On its first and second tape, A receives two strings w and v, w, v ∈ {0, 1}? , representing two integer numbers. When machine A is started, the tape heads are located on the left-most position, on the most significant bits of w and v. • If none of the inputs w and v is the empty word, the Turing machine A writes the binary representation of the sum of the...
name and describe the two impact fracture testing techniques
name and describe the two impact fracture testing techniques
Given a string and a non-negative int n, we'll say that the front of the string...
Given a string and a non-negative int n, we'll say that the front of the string is the first 3 chars, or whatever is there if the string is less than length 3. Return n copies of the front; frontTimes("Chocolate", 2) → "ChoCho" frontTimes("Chocolate", 3) → "ChoChoCho" frontTimes("Abc", 3) → "AbcAbcAbc" Must work the following problem using a while loop or do while.
Non - Destructive Testing NDT Quality Management Explain the main differences between first party, second party...
Non - Destructive Testing NDT Quality Management Explain the main differences between first party, second party and third party audits and how these relate to the supplier / customer relationship. Include a diagram/s.
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT