Two-way finite state automaton