AsciiRenderer updated
Automaton::epsilonClosure() added