updated file version of automaton