A finite automata evaluator.