FLViz - DFA state transition simulator for "Formal languages" class.