Графический редактор конечного автомата [закрывается]

Я не уверен, что это именно то, что вы ищете, но поскольку ответов на ваш вопрос не так уж много, я выкину его туда. Ragel - машинный компилятор конечного состояния, который будет выводить C/C++/Java и многое другое. Он не визуален сам по себе (вы не можете спроектировать машину состояний графически, вы используете код), но он может использовать GraphViz для визуализации машины состояний.

это может сработать для вас: http://fsme.sourceforge.net/

это вроде как старо, но лучше попробуйте;)