I was writing a state machine the other day (due to the lack of spawn_child in mod_perl-1.99).

In some cases the most natural progression (not the most academic) was to do X, change state, and process the current input again. This was a good place to use a redo.