NFA //Type Example 1--Les Lander--(a + ab)*(\ + a) //Title a b // input alphabet, note such comments are permitted at the end of the line q0 q1 q2 q3 // Machine states q0 // the initial state q0 q2 // final state q0 a q1 // transitions: input state, input symbol, output state q0 a q3 q1 a q3 q1 b q2 q2 a q1 q3 b q2 end //required