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

Question

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

Answer 1

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

Answer 2

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

Answer 3

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

Answer 4

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

Answer 5

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

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

Answer 6

Simulink Stateflow.

Massive overkill, конечно.