Какие есть сейчас современные методы для удобного описания конечных автоматов. Известные - таблица переходов, граф, грамматики. Что хотелось бы - допустим мы хотим реализовать (или проанализировать) непростую систему, спецификация дана как набор "правил" - как это обычно любят писать в ТЗ. Пример - управление какой нибудь там какомешалкой в зависимости от датчиков загрузки, напряжения и так далее, или анализ протокола обмена данными. Наверняка существуют тулзы или методики для работы с такими вещами, но к сожалению прошли мимо меня в свое время.
Да и вообще полезные идеи связанные с конечными автоматами весьма приветствуются.
конечные автоматы
конечные автоматы
Последний раз редактировалось folk 28 ноя 2019, 16:54, всего редактировалось 1 раз.
Причина: test
Причина: test
конечные автоматы
folk писал(а):Source of the post
Да и вообще полезные идеи связанные с конечными автоматами весьма приветствуются.
Это наверное "старьё".
Но ничего лучшего от блоксхем, т.е. программного графического преставления - до головы не приходит.
Ну может только, чтоб на этой графике пиктограммы покрасочнее и посовременнее были.
PS. Ага, есть еще медиа варианты - анимация, фильмики-ютубе и т.п.
Последний раз редактировалось NT 28 ноя 2019, 16:54, всего редактировалось 1 раз.
Причина: test
Причина: test
конечные автоматы
Прикольно а блок схема (то есть алгоритм) в конечный автомат это наверное нетривиально преобразовать. Да и ограничения должны быть как минимум на используемые переменные.
Есть ли ссылки на что то подобное, я пока не встречал.
Есть ли ссылки на что то подобное, я пока не встречал.
Последний раз редактировалось folk 28 ноя 2019, 16:54, всего редактировалось 1 раз.
Причина: test
Причина: test
- homosapiens
- Сообщений: 8400
- Зарегистрирован: 16 июн 2008, 10:02
конечные автоматы
Xilinx ise умеет. Мы по работе не пользуемся, но фича есть. Что-то из labviewшного пакета умеет. Я не очень в теме, потому что проще, на мой взгляд, рисовать на доске, а потом писать Vhdl/verilog.
Последний раз редактировалось homosapiens 28 ноя 2019, 16:54, всего редактировалось 1 раз.
Причина: test
Причина: test
конечные автоматы
folk писал(а):Source of the post
Прикольно а блок схема (то есть алгоритм) в конечный автомат это наверное нетривиально преобразовать. Да и ограничения должны быть как минимум на используемые переменные.
Есть ли ссылки на что то подобное, я пока не встречал.
Enterprise Architect
Последний раз редактировалось NT 28 ноя 2019, 16:54, всего редактировалось 1 раз.
Причина: test
Причина: test
- homosapiens
- Сообщений: 8400
- Зарегистрирован: 16 июн 2008, 10:02
конечные автоматы
Последний раз редактировалось homosapiens 28 ноя 2019, 16:54, всего редактировалось 1 раз.
Причина: test
Причина: test
конечные автоматы
кроме диаграммы состояний ничего не знаю
Последний раз редактировалось sciman91 28 ноя 2019, 16:54, всего редактировалось 1 раз.
Причина: test
Причина: test
Вернуться в «Computer Science»
Кто сейчас на форуме
Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 6 гостей