Программы gnfa2re.sf.net

Эта программа позволяет указать детерминированный Finite Automata, Nondeterministic Finite Automata, или Обобщенный NFA и вернет регулярное выражение, которое распознает тот же язык, что и FA, который вы описали.