CS 390 Final Exam
June 25, 1998
1(a) Obtain an that accepts the language accepted by the following
:
State |
|
|
|
{} |
{} |
|
{} |
|
|
{} |
{} |
|
{} |
{} |
|
{} |
|
The initial state is and the accepting state is . [10]
(b) Find
for the of (a). [10]
2. Prove the following statement using the structural induction:
For an if
for every
symbol in the alphabet , then
for any string
in . [15]
3. Find a regular expression for the language of all strings in which every
is immediately followed by . [15]
4. Prove that the language
is not regular,
where denotes the reversal of . [15]
5. Let denote the problem that asks whether or not a given Turing machine accepts a symbol (i.e. a string of one symbol) . Prove that is not decidable. [15]
6(a) Design a Turing machine that accepts the language {
, and are integers.} You may use the Turing machines
discussed
in the lectures as building blocks. [10]
(b) Let the language be defined recursively as follows:
Basis Clause:
Inductive Clause: For all , if , then and .
Extremal Clause: Nothing is in unless it is obtained from the above two clauses.
Does the Turing machine you designed in (a) solve the problem "Is
in the language ?" for an arbitrary string ? Give your reasons. [10]