next up previous contents
Next: FAs with output Up: Finite Automata and Regular Previous: FA with moves

Two-way FA

A two-way FA allows movement backward and forward in input string. These are provably equivalent to one-way FAs[*].


root
6/8/1998