CS 390 Test I

June 3, 1998

1. Which of the following statements are true and which are false ?
(a) (L*L)+ = L+ .
(b) tex2html_wrap_inline72 .
(c) tex2html_wrap_inline74 .
(d) tex2html_wrap_inline76 is regular if tex2html_wrap_inline78 , tex2html_wrap_inline80 , and tex2html_wrap_inline82 are regular.
(e) Suppose tex2html_wrap_inline84 , and tex2html_wrap_inline86 is a function. Then there is a function tex2html_wrap_inline88 such that f(g(y)) = y for every y in B.

2. Find a regular expression for each of the following languages:
(a) L defined recursively as tex2html_wrap_inline98 ; if tex2html_wrap_inline100 , then tex2html_wrap_inline102 and tex2html_wrap_inline104 . (b) The set of strings of odd length over {a,b}.

3. Prove by structural induction on string x that tex2html_wrap_inline110 , where tex2html_wrap_inline112 is defined as
Basis Clause: tex2html_wrap_inline114
Inductive Clause: If tex2html_wrap_inline116 . then tex2html_wrap_inline118 for all tex2html_wrap_inline120 .
Extremal Clause: As usual.

Also for any string x, tex2html_wrap_inline124 is defined as
Basis clause: tex2html_wrap_inline126
Inductive Clause: If tex2html_wrap_inline116 and tex2html_wrap_inline120 , then tex2html_wrap_inline132

4. Find a regular expression for the language of strings over the alphabet {a,b} which are accepted by the FA given by the following transition table.

tabular43

The initial state is tex2html_wrap_inline196 and the accepting states are tex2html_wrap_inline196 and tex2html_wrap_inline200 .




S. Toida
Fri Jun 5 18:27:19 EDT 1998