Question

In: Computer Science

Turing Machine and Closure Operations Show that Turing-recognizable languages are closed under the following operations: union...

Turing Machine and Closure Operations

Show that Turing-recognizable languages are closed under the following operations:

  • union

  • concatenation

  • star

Each answer needs only be a short informal description of a Turing Machine (but it must still be sufficiently precise so someone could reconstruct a formal machine if needed).

Also, be careful with non-termination (when appropriate)!

Solutions

Expert Solution

1.

Turing-recognizable languages are closed under union.

Let L1 and L2 be two Turing-recognizable languages and M1 and M2 be corresponding Turing Machines that recognize them.

To see that they are closed under union, do

Non-Determinstically guess whether a string x belongs to L1 or L2 and then run it on M1 or M2.

But problem is that if the string does not belong to L1 , running it on M2, it might not even halt(non termination).

To overcome this, we run the string on M1 and M2 simultaneously, i.e. one step in M1 and then one step in M2.

If either of M1 or M2 accepts, accept.

2.

Turing-recognizable languages are closed under concatination.

Let L1 and L2 be two Turing-recognizable languages and M1 and M2 be corresponding Turing Machines that recognize them.

given an input string x, nondeterministically break into 2 parts x=uv. run u on M1 and v on M2 .

if both M1 and M2 accept, accept x.

3.

Turing-recognizable languages are closed under star.

Let L be a turing regognizable language and M be the Turing maching that recognizes it.

This is similar to concatination .

first nodeterministically guess a number n and break the input string x into n parts.

run each part on M and if all parts are acceptes accept.


Related Solutions

Turing Machine and Closure Operations Show that Turing-decidable languages are closed under the following operations: union...
Turing Machine and Closure Operations Show that Turing-decidable languages are closed under the following operations: union concatenation star
Show that Turing-decidable languages are closed under the following operations: union concatenation star Show that Turing-recognizable...
Show that Turing-decidable languages are closed under the following operations: union concatenation star Show that Turing-recognizable languages are closed under the following operations: union concatenation star Each answer needs only be a short informal description of a Turing Machine (but it must still be sufficiently precise so someone could reconstruct a formal machine if needed).
Closure under Context-Free Languages Show that the following operations are closed under context-free languages: union concatentation...
Closure under Context-Free Languages Show that the following operations are closed under context-free languages: union concatentation Kleene star
Prove the following Closure Properties with respect to Context Free Languages. 1. Show that Context Free...
Prove the following Closure Properties with respect to Context Free Languages. 1. Show that Context Free Languages are Closed under union(∪), concatenation(·), kleene star(*). (Hint: If L1 and L2 are Context Free languages then write Context Free grammar equivalent to L1 ∪ L2, L1 · L2, L∗ 1 ) 2. Show that if L1 and L2 are Context Free Languages, then L1 ∩ L2 is not necessarily Context Free. (Hint: Use Proof by Counter Example)
Show that the following problem i undecidable: Input: A Turing machine M. Output: Yes if M...
Show that the following problem i undecidable: Input: A Turing machine M. Output: Yes if M eventually halts when started on a blank tape, no otherwise Input: A Turing machine M and a tape symbol a. Output: Yes if M eventually writes a when started on an blank tape, no otherwise. Input: A Turing machine M. Output: Yes if M ever writes a nonblank symbol when started on a blank tape, No otherwise. Input: A Turing machine M and a...
Show that (0^n1^n) + (01)^n is decidable using a Turing machine
Show that (0^n1^n) + (01)^n is decidable using a Turing machine
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.
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...
Find the output for the following Turing machine when run on the tape b1001b, assuming that...
Find the output for the following Turing machine when run on the tape b1001b, assuming that the machine begins in state 1 and on the left side of the tape. (1, 1, 1, 2, R) (1, 0, 0, 2, R) (1, b, 1, 2, R) (2, 0, 0, 2, R) (2, 1, 0, 1, R)
Use the Pumping Lemma to show that the following languages are not regular. (a) {ai bj...
Use the Pumping Lemma to show that the following languages are not regular. (a) {ai bj | i > j} (b) {apaq | for all integers p and q where q is a prime number and p is not prime}.
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT