VVB_ (24.09.2018 15:21, просмотров: 1) ответил lloyd на Для текстовых конечных автоматов есть Ragel. Для всего остального - хз, проще руками, как по мне.
Я предпочитаю Yakindu Statechart Tools. Прошлая версия была бесплатной для коммерческого использования, можно ею пользоваться почти с тем же функционалом.
Удобно: вся логика закодирована визуально в диаграммах переходов, а действия по изменению переходов вынесены на откуп пользователю, через интерфейсы C++/Java или указатели на функции в C.
Можно отладить как автомат, так и конечную программу. Есть примеры.
Из ссылки все подчёркивания удаляйте.
h_t_t_p_s_:_/_/_w_w_w_._i_t_e_m_i_s_._c_o_m_/_e_n_/_y_a_k_i_n_d_u_/_s_t_a_t_e_-_m_a_c_h_i_n_e_/_