FINAL STATE AUTOMATA