有没有什么程序可以绘制和测试状态机、图灵机等？

Question

当我在感恩节后回到学校时，我将选修CS理论的课程，内容包括确定性和非确定性有限状态机、图灵机、下推自动机和其他一些东西。然而，我还没有找到一个好的应用程序来生成它们的可视化表示，以及测试它们是如何工作的(通过/失败等)。到目前为止，我找到的最好的是jFlap，我发现它相当笨拙。

Answer 1

我在大学里用的是JFlap。我并不觉得它使用起来有什么不方便，但它看起来可能从那时起就改变了。对不起，我没有比这更好的答案了。

Answer 2

我的一个朋友用乳胶画的。我总是偏爱铅笔和纸。

Answer 3

我现在就在这样的班级里。我发现纸和铅笔就足够了。我不能肯定，但我不认为你会被要求在一张纸上画出太复杂而难以理解的自动机。