Question

In: Computer Science

For each of the following statements, determine if the statement is always, sometimes, or never true....

For each of the following statements, determine if the statement is always, sometimes, or never true. Justify your statement with a proof. Hint: To prove that something isn’t always true, it is sufficient to provide a counterexample.

(a) If L is an unrecognizable language, then L is (always/sometimes/never) undecidable.

(b) If L is a recognizable language then L COMPLEMENT is (always/sometimes/never) recognizable.

Solutions

Expert Solution

aa)

If M decides L then M recognizes L.But not necessarily vice versa.

• In fact, these two notions define different language classes: Definition: – L is Turing-recognizable if there is some TM that recognizes L. – L is Turing-decidable if there is some TM that decides L. • The classes of Turing-recognizable and Turing-decidable languages are different.

• Theorem 2: If L is Turing-decidable then L is Turingrecognizable. • Obviously. • But the other direction does not hold---there are languages that are Turing-recognizable but not Turing-decidable.

Example: Every regular language L is decidable. – Let M be a DFA with L(M) = L. – Design a Turing machine M′ that simulates M. – If, after processing the input, the simulated M is in an accepting state, M′ accepts; else M′ rejects. Examples • Example: Let X = be the set of binary representations of natural numbers for which the following procedure halts: while x ≠ 1 do if x is odd then x := 3x + 1 if x is even then x := x/2 halt – Obviously, X is Turing-recognizable: just simulate this procedure and accept if/when it halts

b)

Four possibilities: – L and L c are both Turing-recognizable. • Equivalently, L is Turing-decidable. – L is Turing-recognizable, L c is not. – L c is Turing-recognizable, L is not. – Neither L nor L c is Turing-recognizable. • All four possibilities occur, as we will see.There are uncountably many languages. – There are only countably many Turing-recognizable languages and only countably many co-Turing-recognizable languages. – Because there are only countably many Turing machines (up to renaming)


Related Solutions

Read the following statements and decide if they are true sometimes, always or never. Be sure...
Read the following statements and decide if they are true sometimes, always or never. Be sure to give a reason for each statement or use an example and the reason why it shows the statement is false. You can download this document in the module one section Fractions and attach it if you prefer. All fractions are less than one Improper fractions are greater than or equal to one Proper fractions are less than one Fractions are always part of...
Statement evaluation. Indicate whether each of the following statements is (i) always true, (ii) sometimes true,...
Statement evaluation. Indicate whether each of the following statements is (i) always true, (ii) sometimes true, or (iii) never true. For those that are (ii) sometimes true; explain when the statement is true. a. All necessary XBRL tags were developed by the XBRL Consortium. b. Companies must use software to prepare XBRL instance documents. c. Companies that do business in a single country do not need XBRL. d. DiversifiedorganizationsshoulduseXBRL. e. General ledger software can create XBRL tags. f. OrganizationsthatadoptXBRLmustcreatetheirownnamespace. g....
Each of the following 13 statements is either (always) True (T) or (sometimes) False (F). If...
Each of the following 13 statements is either (always) True (T) or (sometimes) False (F). If your answer is sometimes False (F), please provide a counterexample; that is, give an example where the statement is not true. If it is always true, you need not give a proof; merely answer T. 1. ?(? + h) = ?(?) + ?(h) Answer: _____ 2. sin⁡(? + ?) = sin(?) + sin⁡(?) Answer: _____ 3. sin(? ∗ ?) = sin(?) ∗ sin⁡(?) Answer:...
Consider each of the statements below. For each statement, decide whether it is sometimes, always, or...
Consider each of the statements below. For each statement, decide whether it is sometimes, always, or never a true statement.    ?    Always    Sometimes    Never      1. In a hypothesis test, the direction of the alternative hypothesis (right-tailed, left-tailed, or two-tailed) affects the way the effect size is estimated.    ?    Always    Sometimes    Never      2. In a hypothesis test, the direction of the alternative hypothesis (right-tailed, left-tailed, or two-tailed) affects the way the p-value is computed.    ?    Always    Sometimes    Never      3. A hypothesis test that produces a ?p-value <0.001<0.001 will produce an effect size |?̂|>0.8|d^|>0.8...
For each of the following statements, determine whether the statement is true or false. If you...
For each of the following statements, determine whether the statement is true or false. If you say the statement is true, explain why and if you say it is false, give an example to illustrate. (a) If {u, v} is a linearly independent set in a vector space V, then the set {2u + 3v, u + v} is also a linear set independent of V. (b) Let A and B be two square matrices of the same format. Then...
For each of the following statements determine if the statement is TRUE, FALSE, or UNCERTAIN. You...
For each of the following statements determine if the statement is TRUE, FALSE, or UNCERTAIN. You must justify your answer graphically. No credit will be given without an explanation. (a) “According to the large-open economy model, if Japan (a large open economy) were to decrease its taxes it would cause both the real interest rate and net exports to increase.” [Hint: In your answer you will need to draw three diagrams] (b) “In the Solow Model with no technological progress,...
Determine whether each of the following statements is true or false. If the statement is false,...
Determine whether each of the following statements is true or false. If the statement is false, modify and rewrite it so that it is a true statement. a. When a molecule has two, degenerate, “infrared active”, vibrational modes, the two vibrational modes will show absorptions at different frequencies in the infrared spectrum. b. For a given substance, strong intermolecular forces between molecules of the substance can cause peak broadening of some of the absorptions in the infrared spectrum of the...
Determine which of the following statements are true and which are false. (a) There always exist...
Determine which of the following statements are true and which are false. (a) There always exist a Pareto efficient alternative. (b) There always exist a Pareto dominated alternative. (c) The best alternative according to Rawlsian Justice is always Pareto efficient. (d) The best alternative according to Borda rule is always Pareto efficient.
1. Determine if the following statements are true or false. If a statement is true, prove...
1. Determine if the following statements are true or false. If a statement is true, prove it in general, If a statement is false, provide a specific counterexample. Let V and W be finite-dimensional vector spaces over field F, and let φ: V → W be a linear transformation. A) If φ is injective, then dim(V) ≤ dim(W). B) If dim(V) ≤ dim(W), then φ is injective. C) If φ is surjective, then dim(V) ≥ dim(W). D) If dim(V) ≥...
True or False questions. Determine whether or not each of the following statements is true. If...
True or False questions. Determine whether or not each of the following statements is true. If a statement is true, prove it. If the statement is false, provide a counterexample and explain how it constitutes a counterexample. Diagrams can be useful in explaining such things. a) If the electric potential in a certain region of space is constant, then the charge enclosed by any closed surface completely contained within that region is zero. b) A sphere of radius R is...
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT