finite automaton reader