1. Homework #5 (Models of Computation, Spring, 2001) Due: Section 1; February 27 Section 2; February 28
** Please put your homework in the collection box outside of AM134 (Sam’s office) by
5:00pm of the due date.
1. Eliminate all -transitions from the following FA without changing the number of states and the language accepted by the automaton. You should also clearly show how (i.e., the procedure) you found your answer. b a b
a,b  b 
start 
a,b
2. Using the technique discussed in the class, construct a regular grammar which generates the same language that is recognized by the FA in problem 1 above. You should show how you got your answer.
3. Find a regular expression which denotes the language accepted by the FA in problem 1 above. You should also clearly show the procedure that you took to get your answer.
(over)

2. 4. Construct an FA (either DFA or NFA whichever for your convenience) which recognizes the language of the following
regular grammar. Your answer should clearly show how you got your answer.
S  abS | cC A  aS | B | a B  aA |  C  aB | abc
5. (a) Construct an FA (either NFA or DFA) which recognizes the language expressed by the regular expression below.
(b) Construct a regular grammar which generates the language expressed by the following regular expression.
For both answers, you should clearly show how you got your answers.
((ba + b)* + (cd(a + b))*)bba
6. Using the procedure discussed at the class, construct a DFA which recognizes the same language that is recognized
by the following NFA. Your answer should show how you got the answer.
a, b a
start