是否有任何程序可以绘制和测试状态机，图灵机等？

Question

当我在感恩节后回到学校时，我将参加CS理论课程，内容包括确定性和非确定性有限状态机，图灵机，下推自动机和其他一些东西。但是，我还没有找到一个好的应用程序，可以生成它们的可视化表示，以及测试它们的工作方式（通过/失败等）。到目前为止我发现的最好的是jFlap，我觉得它很尴尬。

Answer 1

我在大学时使用JFlap。我没有发现它使用起来很尴尬，但从那时起它看起来可能已经改变了。对不起，我没有比你更好的答案。

Answer 2

我的一个朋友用Latex画它们。我总是喜欢铅笔和纸。

Answer 3

我现在正在这样的课堂上。我发现纸和铅笔足够了。我不能肯定地说，但我认为你不会被要求在一张纸上绘制太复杂的自动机。

Answer 4

我用UML绘制它们并提交了一段时间的StarUML jpeg导出。

然后我编写了一个PHP脚本，将它们转换为DOT格式，并使用Graphviz来获得漂亮的机器。

Answer 5

Simulink Stateflow。

当然是大规模的矫枉过正。

Answer 6

IAR visualSTATE可能会引起人们的兴趣。