FLACI - Formal Languages, Automata, Compilers and Interpreters  
a b c

[ab]+

a   b   c

q0

IO
M