CS 390 Test II

June 16, 1998

1. Let S and T be sets of states of an NFA- tex2html_wrap_inline66 .
(a) Prove that tex2html_wrap_inline68 by structural induction.
(b) Show that tex2html_wrap_inline70 is in general not equal to tex2html_wrap_inline72 .

2. Prove that { tex2html_wrap_inline74 } is not regular.

3. Find an NFA that accept the same language as the following NFA- tex2html_wrap_inline66

tabular17

The initial state is tex2html_wrap_inline138 and the accepting state is tex2html_wrap_inline140 .

4. For the NFA given below answer the following questions:
(a) Find R(3,3,3) using the recursive formula given by Kleene's Theorem.
(b) Verify that R(3,3,3) obtained in (a) is equal to tex2html_wrap_inline146 .

tabular45





S. Toida
Wed Jun 17 19:12:39 EDT 1998