Генерация конечного автомата

/dev/hands is the best solution ever.

может ошибусь, но вроде бы ragel.

dia2fsm - не оно?

> может ошибусь, но вроде бы ragel.

Вроде оно, буду изучать, спасибо.

> /dev/hands is the best solution ever.

Хотелось бы совпадения кода и картинки с автоматом, при ручном подходе обычно не получается.

> dia2fsm - не оно?

Не совсем, но тоже занятно, спасибо.

>> может ошибусь, но вроде бы ragel. > Вроде оно, буду изучать, спасибо.

Нет, не оно. Тоже пригодится, но хотелось бы механизм для описания любого с FSM, а что является его входом - я сам решу. :)

Сам всегда пользуюсь /dev/hands, но вроде бы эту задачу должны выполнять некоторые UML-средства. Насколько помню, стейт-машин является частью спецификации UML.

> Сам всегда пользуюсь /dev/hands, но вроде бы эту задачу должны выполнять некоторые UML-средства. Насколько помню, стейт-машин является частью спецификации UML.

Из UML state diagram реальный код генерить - уж лучше руками, спасибо. Тем более нужен строго С, и чтобы выход был в виде текстового файла, и чтобы генерация была одним из этапов make.

В итоге я нашел что нужно - cfsm. Ключевые слова для поиска, оказывается: State Machine Compiler, а не Finite State Machine Generator.