An ASCII sketch of the picture missing from question 6: 1 ___ / \ 5<---/ ^ | 0 | | | 0 -----> 1 -------> 2 ^ | | | | 1 | 1 | | | | | V 4 <------- 3 0 The accepting states are 1 and 5.