This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: CS 154 Intro. to Automata and Complexity Theory Handout 8 Autumn 2009 David Dill October 8, 2009 Solution Set 1 Problem 1 (a) The desired DFA is given as follows: q4 Start 1 1 0,1 1 1 q0 q1 q2 q3 (b) The desired DFA is given as follows: q2 1 1 1 1 Start q3 q0 q1 Comment: One common mistake is forgetting to specify some of the transitions. Another is to incorrectly define some transitions. Hint: try to check that your automaton does not accept anything not in the language or reject anything in the language. Problem 2 (a) The desired NFA is given as follows: Comment: A common mistake is to add too many transitions to the NFA, such as a transition on from any of q 2 , . . . , q 5 back to q 2 . Another common mistake is to add the transition on 1 from q 6 to q 1 instead of q 2 . 1 q0 Start 0,1 0,1 0,1 0,1 0,1 0,1 1 0,1 q4 q7 q6 q5 q3 q2 q1 (b) Suppose that the DFA has less than 2 5 states. Then (by the pigeon hole principle) there exists a state q that two distinct strings of length 5 will reach. That is, there are two strings5 will reach....
View Full
Document
 '08
 Motwani,R

Click to edit the document details