two-way automaton