NFA //Type Example 1--Les Lander--(1+ab+100)* //Title 0 1 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 // final state q0 a q3 // transitions: input state, input symbol, output state q0 1 q1 q1 \ q0 q1 0 q2 q2 0 q0 q3 b q0 end //required