Question

In: Computer Science

Describe a TM (Turing Machine) which accepts the language L = {w2w | w is a...

Describe a TM (Turing Machine) which accepts the language L = {w2w | w is a string in {0, 1}* }. Here I mean informally describe how the TM works. You need not give the full program or diagram.

Solutions

Expert Solution

A Turing Machine is the scientific device identical to an advanced PC. It was proposed by the mathematician Turing in the 30s, and has been from that point forward the most generally utilized model of calculation in process ability and many-sided quality hypothesis.

The model comprises of an information yield connection that the machine registers. The information is given in paired frame on the machine's tape, and the yield comprises of the substance of the tape when the machine ends.

At each progression, the present state and the character read on the tape decide the following state the FSM will be in, the character that the machine will yield on the tape (perhaps the one read, leaving the substance unaltered), and which bearing the head moves in, left or right.

Here a string w of 0's and 1's ought to have the property that, the no of 0's in the string w ought to be separable by 3 ( N(0) % 3 =0 ), and the quantity of 1's the string w ought to be detachable by 5 (N(1) % 5 =0).

Having said that, the Language will contain the strings, for example, : { ε , 000, 11111, 00011111, 00111101 , 11111000, 10101011 , 00000011111,… .thus on }

Thus, strings acknowledged by the machine must be of length 0, 3, 5, 8, 11, 13, 14, 16… .etc so on, i.e. condition for length will be 3x + 5y (where x,y>=0 )

Modulo 3 gives leftover portion as ( 0, 1, 2 ) , and Modulo 5 gives leftover portion as ( 0, 1, 2, 3, 4 ). Consequently 3 * 5 satiates, i.e. there will be 15 states in the machine to speak to this. It was proposed by the mathematician Turing in the 30s, and has been from that point forward the most generally utilized model of calculation in process ability and many-sided quality hypothesis.

The model comprises of an information yield connection that the machine registers. The information is given in paired frame on the machine's tape, and the yield comprises of the substance of the tape when the machine ends.

At each progression, the present state and the character read on the tape decide the following state the FSM will be in, the character that the machine will yield on the tape (perhaps the one read, leaving the substance unaltered), and which bearing the head moves in, left or right.

Here a string w of 0's and 1's ought to have the property that, the no of 0's in the string w ought to be separable by 3 ( N(0) % 3 =0 ), and the quantity of 1's the string w ought to be detachable by 5 (N(1) % 5 =0).

Having said that, the Language will contain the strings, for example, : { ε , 000, 11111, 00011111, 00111101 , 11111000, 10101011 , 00000011111,… .thus on }

Thus, strings acknowledged by the machine must be of length 0, 3, 5, 8, 11, 13, 14, 16… .etc so on, i.e. condition for length will be 3x + 5y (where x,y>=0 )

Modulo 3 gives leftover portion as ( 0, 1, 2 ) , and Modulo 5 gives leftover portion as ( 0, 1, 2, 3, 4 ). Consequently 3 * 5 satiates, i.e. there will be 15 states in the machine to speak to this.


Related Solutions

Define a Turing machine TM3 that decides language L3 = { w | w ∈ Σ*,...
Define a Turing machine TM3 that decides language L3 = { w | w ∈ Σ*, #a(w) = #b(w) } over the alphabet Σ = {a, b}. IMPLEMENT USING JFLAP NO PAPER SOLUTION
Prove that the language L={(M, N): M is a Turing machine and N is a DFA...
Prove that the language L={(M, N): M is a Turing machine and N is a DFA with L(M) =L(N)} is undecidable. You need to derive a reduction from Atm={(M, w)|Turing machine M accepts w} to L. (In layman's terms please, no other theorems involved)
Show that the language F={M| M is a Turing machine , and L(M) contains infinite elements}...
Show that the language F={M| M is a Turing machine , and L(M) contains infinite elements} is not Turing recognizable.
Consider the language defined as such: L = { w$w’ : w is a string of...
Consider the language defined as such: L = { w$w’ : w is a string of numbers 0-9 and can be of length ≥ 0, and w’ is the reverse string of w} Write a recursive grammar that defines all strings in the language. Using the language above, write the Java code (using recursion) that will recognize if a string is part of the language or not.
What is a Turing Machine? Be able to describe its parts. Given a Turing Machine description,...
What is a Turing Machine? Be able to describe its parts. Given a Turing Machine description, be able to carry out a computation and show the resultant tape. What is the halting problem? Is the halting problem decidable? What is Hoare Logic? When proving a program correct, we must look at the initial assertion and final assertion. What are these? What is a loop invariant?
For a given language L = { w | na(w) + nb(w) = nc(w) } where...
For a given language L = { w | na(w) + nb(w) = nc(w) } where S = G = {a, b, c} Looking for answer to 3 Construct a PDA M that accepts L with S = G = {a, b, c} Show the sequence of instantaneous descriptions for the acceptance of acacbcbc by M in 1). Give a CFG G that generates L, L(G) = L.
Let L ⊆ Σ ∗ and define S(L), the suffix-language of L, as S(L) = {w...
Let L ⊆ Σ ∗ and define S(L), the suffix-language of L, as S(L) = {w ∈ Σ ∗ | x = yw for some x ∈ L, y ∈ Σ ∗ } Show that if L is regular, then S(L) is also regular.
1. Design a FA for the language L = {w : na(w) ≤ 4}. 2. Design...
1. Design a FA for the language L = {w : na(w) ≤ 4}. 2. Design a FA that accepts all strings that contain the substring aba. 3. Design a FA for the language L = {ai baj : i, j ≥ 0, i + j is odd} 4. Design a FA for the language L = {bnam : n ≤ 2, m ≥ 3}
Draw an NFA for the following language then convert to a DFA: L = {w :...
Draw an NFA for the following language then convert to a DFA: L = {w : |w| is odd or |w| is a multiple of 4} where Σ = {0, 1}
Question ::: A Forgetful Turing Machine (FTM) operates just like a normal Turing Machine except that,...
Question ::: A Forgetful Turing Machine (FTM) operates just like a normal Turing Machine except that, in every instruction (it, transition) the  letter written in the tape cell is always the letter 'a', regard less of the current state and the current letter (although the read/write head is still allowed to move either Left or Right, according to the instruction). What class of the languages is recognised by FTMs? Justify the answer. Could u explain why it is regular language?
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT