Two-way automaton