是否有任何计划，绘制和测试状态机，图灵机等？ [关闭]

Question

当我回到学校后，感恩节，我会考虑在CS理论课程涵盖了诸如确定性和非确定性有限状态机，图灵机，下推自动机和一些其他的东西。但是，我还没有发现能产生它们的可视化表示了良好的应用以及测试它们是如何工作（通过/失败，等等）。我已经发现迄今最好的是 jFlap ，而且我发现它比较尴尬。

Answer 1

这是 JFlap 我在大学使用。我没有发现它是很难使用，但它看起来像它可能从那时起变化。对不起，我没有给你比这更好的答案。

Answer 2

我的朋友所用的胶乳，以绘制它们。我总是优选的笔和纸。

Answer 3

我现在在这样的权利类。我发现纸和铅笔是足够的。我不能肯定地说，但我不认为你会被要求画出自动机是过于复杂，理解上的一张纸。

Answer 4

我画他们在UML和提交的StarUML JPEG出口了一段时间。

然后我写了一个PHP脚本，将它们转换为DOT格式和使用的Graphviz获得好看的机器。

Answer 5

的Simulink Stateflow的。

海量矫枉过正，当然。

Answer 6

IAR的visualSTATE 可能会感兴趣。