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

Question

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

score 8 · Accepted Answer

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

score 3 · Accepted Answer

3

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

于 2008-10-13T18:25:19.187 回答

score 2 · Accepted Answer

我现在就在这样的班级。我发现纸和铅笔就足够了。我不能肯定地说，但我认为你不会被要求在一张纸上绘制太复杂而无法理解的自动机。

score 1 · Accepted Answer

我用 UML 画了它们，并提交了 StarUML jpeg 导出一段时间。

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

score 1 · Accepted Answer

1

Simulink 状态流。

大量的矫枉过正，当然。

于 2008-10-13T19:27:11.323 回答

score 0 · Accepted Answer

0

IAR visualSTATE可能很有趣。

于 2008-10-13T18:37:46.713 回答

6 回答 6