initial commit of automaton