Programs dealing with Finite Automaton conversions.