Alternatives to Finite State — 0-Doubt