FSM -> code (c возможностью настройки синтаксиса)

lazarus?

JFLAP?

JFLAP, на сколько я знаю, не умеет автомат в текст преобразовывать по заданным правилам.

в нём можно создать графическое представление fsm?

Не знаю, что есть из современного, но в свое время в голове замкнуло:

Libero is a Programmer's Tool and Code Generator. You define the high-level logic of a problem as a diagram: Libero generates the code to implement this logic. Your applications are easier to write, more robust, easier to understand. Libero uses a finite-state machine as the underlying model.

Libero generates code in these languages: C, C++, Java, Perl, Awk, 80x86 assembler, COBOL, MS Visual Basic, MS Test Basic, UNIX C Shell, UNIX Korn Shell, UNIX Bourne Shell, GNU Bash Shell, Rexx, PL/SQL, and PHP. You can extend Libero support to other languages via external schema files.

http://legacy.imatix.com/html/libero/lrintr.htm

>нарисовать конечный автомат и транслировать его в (псевдо)код

Визуальный язык ДРАКОН ?

забавная почти инопланетная вещь :-)

судя по описанию, подходит. пока пытаюсь запустить (безрезультатно).