/** Non-deterministic FSM example
 *  
 *  example from SEG-2106 course notes on lexical analysis
 *  
 *  Gregor v. Bochmann, December 2008 */

S0 = (a -> S0 | a -> S1 | b -> S0),
S1 = (b -> S2),
S2 = (b -> END).