automaton run and lang