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