Chapter 0: Q1E (page 1)
Question: Answer each part TRUE or FALSE.
Short Answer
(a) is True.
(b)isFalse.
(c)isFalse.
(d)isTrue.
(e)isFalse.
(f) is True.
Chapter 0: Q1E (page 1)
Question: Answer each part TRUE or FALSE.
(a) is True.
(b)isFalse.
(c)isFalse.
(d)isTrue.
(e)isFalse.
(f) is True.
All the tools & learning materials you need for study success - in one app.
Get started for freeRice’s theorem. Let P be any nontrivial property of the language of a Turing machine. Prove that the problem of determining whether a given Turing machine’s language has property P is undecidable. In more formal terms, let P be a language consisting of Turing machine descriptions where P fulfils two conditions. First, P is nontrivial—it contains some, but not all, TM descriptions. Second, P is a property of the TM’s language—whenever , we have if and only iff . Here, and are any TMs. Prove that P is an undecidable language.
a. Give an NFA recognizing the language .
b. Convert this to an equivalent DFA. Give only the portion of thethat is reachable from the start state.
Give a counter example to show that the following construction fails to prove that the class of context-free languages is closed under star. Let A be a CFL that is generated by the CFG . Add the new rule and call the resulting grammar. This grammar is supposed to generate A*.
Let contains an even number of ’s and an odd number of ’s and does not contain the substring ab}. Give a DFA with five states that recognizes Dand a regular expression that generates D.(Suggestion: Describe Dmore simply.)
Let F be the language of all strings over that do not contain a pair of 1s that are separated by an odd number of symbols. Give the state diagram of a DFA with five states that recognizes . (You may find it helpful first to find a 4-state NFA for the complement of ).
What do you think about this solution?
We value your feedback to improve our textbook solutions.