Существуют ли программы для рисования и тестирования конечных автоматов, машин Тьюринга и т. Д.? [закрыто]

Question

Когда я вернусь в школу после Дня благодарения, я буду проходить курс по теории CS, охватывающий такие темы, как детерминированные и недетерминированные конечные автоматы, машины Тьюринга, автоматы сжатия и некоторые другие вещи. Тем не менее, я не нашел хорошего приложения, которое могло бы произвести их визуальное представление, а также проверить, как они работают (пройти / потерпеть неудачу и т. Д.). Лучшее, что я нашел на данный момент, - это jFlap , и я нахожу это довольно неловким.

Answer 1

Это был JFlap , который я использовал в колледже. Я не нашел это неудобным для использования, но похоже, что с тех пор оно могло измениться. Извините, у меня нет лучшего ответа, чем этот.

Answer 2

Мой друг использовал латекс, чтобы нарисовать их. Я всегда предпочитал карандаш и бумагу.

Answer 3

Я сейчас в таком классе. Я нашел достаточно бумаги и карандаша. Я не могу сказать наверняка, но я не думаю, что вам потребуется рисовать автоматы, которые слишком сложны для понимания на одном листе бумаги.

Answer 4

Я нарисовал их в UML и некоторое время отправлял экспорт в формате JPEG в формате StarUML.

Затем я написал PHP-скрипт для преобразования их в формат DOT и использовал Graphviz, чтобы получить красивые машины.

Answer 5

Simulink Stateflow.

Массовое излишество, конечно.

Answer 6

IAR visualSTATE может представлять интерес.