конечные автоматы

[folk]

Какие есть сейчас современные методы для удобного описания конечных автоматов. Известные - таблица переходов, граф, грамматики. Что хотелось бы - допустим мы хотим реализовать (или проанализировать) непростую систему, спецификация дана как набор "правил" - как это обычно любят писать в ТЗ. Пример - управление какой нибудь там какомешалкой в зависимости от датчиков загрузки, напряжения и так далее, или анализ протокола обмена данными. Наверняка существуют тулзы или методики для работы с такими вещами, но к сожалению прошли мимо меня в свое время.

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

[NT]

Source of the post
Да и вообще полезные идеи связанные с конечными автоматами весьма приветствуются.

Это наверное "старьё".
Но ничего лучшего от блоксхем, т.е. программного графического преставления - до головы не приходит.
Ну может только, чтоб на этой графике пиктограммы покрасочнее и посовременнее были.

PS. Ага, есть еще медиа варианты - анимация, фильмики-ютубе и т.п.

[folk]

Прикольно а блок схема (то есть алгоритм) в конечный автомат это наверное нетривиально преобразовать. Да и ограничения должны быть как минимум на используемые переменные.
Есть ли ссылки на что то подобное, я пока не встречал.

[homosapiens]

Xilinx ise умеет. Мы по работе не пользуемся, но фича есть. Что-то из labviewшного пакета умеет. Я не очень в теме, потому что проще, на мой взгляд, рисовать на доске, а потом писать Vhdl/verilog.

[NT]

Source of the post
Прикольно а блок схема (то есть алгоритм) в конечный автомат это наверное нетривиально преобразовать. Да и ограничения должны быть как минимум на используемые переменные.
Есть ли ссылки на что то подобное, я пока не встречал.

Enterprise Architect

[homosapiens]

у меня на работе их называют "конченными автоматами"

[sciman91]

кроме диаграммы состояний ничего не знаю