Существуют ли программы для рисования и тестирования конечных автоматов, машин Тьюринга и т. Д.? [закрыто]
-
10-07-2019 - |
Вопрос
Когда я вернусь в школу после Дня благодарения, я буду проходить курс по теории CS, охватывающий такие темы, как детерминированные и недетерминированные конечные автоматы, машины Тьюринга, автоматы сжатия и некоторые другие вещи. Тем не менее, я не нашел хорошего приложения, которое могло бы произвести их визуальное представление, а также проверить, как они работают (пройти / потерпеть неудачу и т. Д.). Лучшее, что я нашел на данный момент, - это jFlap , и я нахожу это довольно неловким. р>
Решение
Это был JFlap , который я использовал в колледже. Я не нашел это неудобным для использования, но похоже, что с тех пор оно могло измениться. Извините, у меня нет лучшего ответа, чем этот.
Другие советы
Мой друг использовал латекс, чтобы нарисовать их. Я всегда предпочитал карандаш и бумагу.
Я сейчас в таком классе. Я нашел достаточно бумаги и карандаша. Я не могу сказать наверняка, но я не думаю, что вам потребуется рисовать автоматы, которые слишком сложны для понимания на одном листе бумаги.
Я нарисовал их в UML и некоторое время отправлял экспорт в формате JPEG в формате StarUML.
Затем я написал PHP-скрипт для преобразования их в формат DOT и использовал Graphviz, чтобы получить красивые машины.
Simulink Stateflow.
Массовое излишество, конечно.
IAR visualSTATE может представлять интерес. р>