Straubing. Algebraic Characterization of the Alternation Hierarchy in F O 2 [<] on Finite Words *.