Automata visualization added