ステートマシン、チューリングマシンなどを描画およびテストするプログラムはありますか？ [閉まっている]

Question

感謝祭の後に学校に戻ると、CS理論のコースで、決定論的および非決定論的な有限状態マシン、チューリングマシン、プッシュダウンオートマトンなどのトピックを取り上げます。しかし、それらの視覚的表現を生成し、それらがどのように機能するか（合格/不合格など）をテストできる優れたアプリケーションは見つかりませんでした。私がこれまでに見つけた最高のものは、 jFlap であり、かなり厄介です。

Answer 1

大学で使用したのは JFlap でした。使いにくいとは思いませんでしたが、それから変わったようです。申し訳ありませんが、それより良い答えはありません。

Answer 2

私の友人は、ラテックスを使用してそれらを描きました。私はいつも鉛筆と紙を好みました。

Answer 3

私は今このようなクラスにいます。紙と鉛筆で十分だとわかりました。確かに言うことはできませんが、1枚の紙で理解するには複雑すぎるオートマトンを描く必要はないと思います。

Answer 4

私はそれらをUMLで描き、しばらくの間StarUML jpegエクスポートを提出しました。

次に、DOT形式に変換するPHPスクリプトを作成し、Graphvizを使用して見栄えの良いマシンを取得しました。

Answer 5

Simulink Stateflow。

もちろん、大規模なやり過ぎ。

Answer 6

IAR visualSTATE は興味深いかもしれません。