 4.4.1: Answer all parts for the following DFA M and give reasons for your ...
 4.4.2: Consider the problem of determining whether a DFA and a regular exp...
 4.4.3: Let ALLDFA = {hAi A is a DFA and L(A) = }. Show that ALLDFA is dec...
 4.4.4: Let ACFG = {hGi G is a CFG that generates }. Show that ACFG is dec...
 4.4.5: Let ETM = {hMi M is a TM and L(M) = }. Show that ETM, the compleme...
 4.4.6: Let X be the set {1,2,3,4,5} and Y be the set {6,7,8,9,10}. We desc...
 4.4.7: Let B be the set of all innite sequences over {0,1}. Show that B is...
 4.4.8: Let T = {(i,j,k) i,j,k N}. Show that T is countable.
 4.4.9: Reviewthewaythatwedenesetsto bethesamesizeinDenition4.12(page203). ...
 4.4.10: Let INFINITEDFA = {hAi A is a DFA and L(A) is an innite language}....
 4.4.11: Let INFINITEPDA = {hMi M is a PDA and L(M) is an innite language}....
 4.4.12: Let A = {hMi M is a DFA that doesnt accept any string containing a...
 4.4.13: Let A = {hR,Si R and S are regular expressions and L(R) L(S)}. Sho...
 4.4.14: Let = {0,1}. Show that the problem of determining whether a CFG gen...
 4.4.15: Show that the problem of determining whether a CFG generates all st...
 4.4.16: Let A = {hRi R is a regular expression describing a language conta...
 4.4.17: Prove that EQDFA is decidable by testing the two DFAs on all string...
 4.4.18: Let C be a language. Prove that C is Turingrecognizable iff a deci...
 4.4.19: Prove that the class of decidable languages is not closed under hom...
 4.4.20: Let A and B be two disjoint languages. Say that language C separate...
 4.4.21: Let S = {hMi M is a DFA that accepts wR whenever it accepts w}. Sh...
 4.4.22: Let PREFIXFREEREX = {hRi R is a regular expression and L(R) is pr...
 4.4.23: Say that an NFA is ambiguous if it accepts some string along two di...
 4.4.24: A useless state in a pushdownautomaton isneverenteredonany input st...
 4.4.25: Let BALDFA = {hMi M is a DFA that accepts some string containing a...
 4.4.26: Let PALDFA = {hMi M is a DFA that accepts some palindrome}. Show t...
 4.4.27: Let E = {hMi M is a DFA that accepts some string with more 1s than...
 4.4.28: Let E = {hMi M is a DFA that accepts some string with more 1s than...
 4.4.29: Let CCFG = {hG,ki G is a CFG and L(G) contains exactly k strings w...
 4.4.30: Let A be a Turingrecognizable language consisting of descriptions ...
 4.4.31: Say that a variable A in CFL G is usable if it appears in some deri...
 4.4.32: The proof of Lemma 2.41 says that (q,x) is a looping situation for ...
Solutions for Chapter 4: D E C I D A B I L I T Y
Full solutions for Introduction to the Theory of Computation  3rd Edition
ISBN: 9781133187790
Solutions for Chapter 4: D E C I D A B I L I T Y
Get Full SolutionsThis expansive textbook survival guide covers the following chapters and their solutions. Introduction to the Theory of Computation was written by and is associated to the ISBN: 9781133187790. This textbook survival guide was created for the textbook: Introduction to the Theory of Computation, edition: 3. Since 32 problems in chapter 4: D E C I D A B I L I T Y have been answered, more than 17610 students have viewed full stepbystep solutions from this chapter. Chapter 4: D E C I D A B I L I T Y includes 32 full stepbystep solutions.

Alluvium
Unconsolidated sediment deposited by a stream.

Angular unconformity
An unconformity in which the strata below dip at an angle different from that of the beds above.

Condensation nuclei
Tiny bits of particulate matter that serve as surfaces on which water vapor condenses.

Craton
That part of the continental crust that has attained stability; that is, it has not been affected by significant tectonic activity during the Phanerozoic eon. It consists of the shield and stable platform.

Gondwanaland
The southern portion of Pangaea consisting of South America, Africa, Australia, India, and Antarctica.

Halocline
A layer of water in which there is a high rate of change in salinity in the vertical dimension.

Hot spring
A spring in which the water is 6–9° C (10–15° F) warmer than the mean annual air temperature of its locality.

Isotherms
Lines connecting points of equal temperature.

Lightning
A sudden flash of light generated by the flow of electrons between oppositely charged parts of a cumulonimbus cloud or between the cloud and the ground.

Orogenesis
The processes that collectively result in the formation of mountains.

Ozone
A molecule of oxygen containing three oxygen atoms.

Penumbra
The portion of a shadow from which only part of the light source is blocked by an opaque body.

Piedmont glacier
A glacier that forms when one or more valley glaciers emerge from the confining walls of mountain valleys and spread out to create a broad sheet in the lowlands at the base of the mountains.

Positive feedback mechanism
A feedback mechanism that enhances or drives change.

Radiation
The transfer of energy (heat) through space by electromagnetic waves.

Settling velocity
The speed at which a particle falls through a still fluid. The size, shape, and specific gravity of particles influence settling velocity.

Slip face
The steep, leeward slope of a sand dune; it maintains an angle of about 34 degrees.

Tidal current
The alternating horizontal movement of water associated with the rise and fall of the tide.

Vein deposit
A mineral filling a fracture or fault in a host rock. Such deposits have a sheetlike, or tabular, form.

Westerlies
The dominant westtoeast motion of the atmosphere that characterizes the regions on the poleward side of the subtropical highs.