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

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

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