Show that the language A = {<M1> | the language accepted by the Turing Machine M1 is 1*} is not decidable. Present your proof in the style of the proof of Th. 5.3, which shows below.
Show that the language A = {<M1> | the language accepted by the Turing Machine M1...
19. (1 point) Suppose that L is undecidable and L is recognizable. Which of the following could be false? A. I is co-Turing recognizable. B. I is not recognizable. C. I is undecidable. D. L* is not recognizable. E. None of the above. 20. (2 points) Let ETM {(M)|L(M) = 0} and EQTM = {(M1, M2)|L(Mi) = L(M2)}. We want to show that EQTM is undecidable by reducing Etm to EQTM and we do this by assuming R is a...
Draw the transition graph of a Standard Turing Machine (TM) that accepts the language: L = {(ba)^n cc: n greaterthanorequalto 1} Union {ab^m: m greaterthanorequalto 0} Write the sequence of moves done by the TM when the input string is w = bab. Is the string w accepted?
determine if the language is regular, context-free, Turing-decidable, or undecidable. For languages that are regular, give a DFA that accepts the language, a regular expression that generates the language, and a maximal list of strings that are pairwise distinguishable with respect to the language. For languages that are context-free but not regular, prove that the language is not regular and either give a context- free grammar that generates the language or a pushdown automaton that accepts the language. You need...
A Turing machine M decides a language L is M: Group of answer choices All of these apply. Accepts all strings in L and M rejects all strings not in L. Accepts some strings in L and M rejects some strings not in L. Accepts all strings in L that are recognizable.
a) What language is accepted by the Turing machine d(%-a)-(%-a, R), d(%-a)-(9-a, R). (5) Design a Turing machine that will accept language OL-L6.a) (6) Design a Turing machine that will calculate fx)-3x. You must show the representation of s and 3x on the tape of Turing machine when the calculation starts and ends, respectively Extra Questions (20 points) 1. Fill the proper words in the blank (1) Given alphabet Σ, a language on Σ isa (2) Given a grammar G,...
determine if the language is regular, context-free, Turing-decidable, or undecidable. For languages that are regular, give a DFA that accepts the language, a regular expression that generates the language, and a maximal list of strings that arc pairwise distinguishable with respect to the language. For languages that are context-free but not regular, prove that the language is not regular and either give a context- free grammar that generates the language or a pushdown automaton that accepts the language. You need...
40 points) Please design a Turing machine T to recognize the union of the languages of two Turing machines Mi and M2. That is, T accepts an input string w, if and only if either Mi or M2 or both accept string w. Please describe the high-level idea (or algorithm) of your Turing machine T. You do not need to draw the low-level state transition diagram of your Turing machine. Note that the difficulty is that Mi or M2 may...
Consider the language LOOPS = {<M,w> | M is a Turing machine and M loops forever on input w} Is LOOPS Turing decidable? Explain why or why not. Is LOOPS Turing recognizable? Explain why or why not.
What is the language of accepted strings by the below Turing machine? {a*b*} {ambn | m, n ≥ 0} {ambm | m ≥ 0} {ambnam | m, n ≥ 0} This Turing machine is non-deterministic, so it cannot accept a deterministic language. ( R) go 9 q 93 (9,X, R) (91a, R) (qa, a, L) (hra, R) (h. b, R) (92. y, L) Ø (h. 6, R) 0 0 (qox, R) 0 (93, y, R) (. y, R) (92 y,...
Question 1 10 pts Draw the transition graph of a Turing Machine (TM) that accepts the language: L = {aw: w € {a,b}" } U{(bb)" ac: n > 3 and n is divisible by 3} Write the sequence of moves done by the TM when the input string is v= abbca. Is the string v accepted?