Two-way finite automaton: Difference between revisions