CS 390 Test I
February 19, 1998

1(a) Find a string which is not in the language represented by tex2html_wrap_inline54 .
[12]
(b) Find a regular expression for the language L defined recursively as follows:

Basis Clause: tex2html_wrap_inline58
Induction Clause: If tex2html_wrap_inline60 , then tex2html_wrap_inline62 , tex2html_wrap_inline64 , and tex2html_wrap_inline66 .
Extremal Clause: Nothing is in L unless it is obtained by the above
clauses. [18]

2. Recursively define the set U of all strings of the form tex2html_wrap_inline72 . [20]

3. Prove by induction on string y of a's and b's, or by induction on tex2html_wrap_inline80 , that tex2html_wrap_inline82 . [20]
You may use the following recursive definition of tex2html_wrap_inline84 :
Basis Clause: tex2html_wrap_inline86
Inductive Clause: For any string x and a symbol a, tex2html_wrap_inline92 .

4. Which of the following statements are true and which are false ? [30]

(a) For an arbitrary string x, tex2html_wrap_inline96 , where tex2html_wrap_inline84 is the reversal of x.
(b) tex2html_wrap_inline102 for any language L.
(c) Suppose A and B are sets, tex2html_wrap_inline110 , and tex2html_wrap_inline112 are functions.
If f(g(y)) = y for every tex2html_wrap_inline116 , then g is onto.
(d) Suppose that A and B are sets and that S and T are subsets of A.
Then tex2html_wrap_inline130 .
(e) Let the set W of strings be defined recursively as follows:
Basis Clause: tex2html_wrap_inline134
Inductive Clause: If tex2html_wrap_inline136 , then tex2html_wrap_inline138 , tex2html_wrap_inline140 , tex2html_wrap_inline142 , and
tex2html_wrap_inline144 .
Extremal Clause: Nothing is in W unless it is obtained by the
Basis and Induction.
Then W is the set of all strings in tex2html_wrap_inline148 containing the substring 00.