DFA //Type (a|b)*abb Fig 3. 23 in dragon book a b // input alphabet q0 q1 q2 q3 // Machine states q0 // the initial state q3 // final state q0 b q0 // transitions: input state, input symbol, output state q3 b q0 q1 a q1 q2 a q1 q3 a q1 q0 a q1 q1 b q2 q2 b q3 end