A finite automata evaluator and generator.