automata images/xml updated - close #27, close #28