我正在研究一个主要基于jflap的课程的自动测试。麻烦的是我们没有太多文档，我在this和this等jlap上找到的样本自动机不足以为即将到来的测试做准备。
我在哪里可以找到更多？具有样本图灵机的任何其他资源显示为具有过渡的图形也将是有帮助的。
答案 0 :(得分：2)
“自动机，语言和复杂性中的问题解决”对于任何与其标题中的任何内容相关的内容都是一本很棒的教科书。除此之外，您还可以找到大量针对各种事物的DFA / NFA / PDA / TM示例，并且它们教您构建它们的许多技术。
编辑：你的第一个链接一直在谈论“不确定的NPDAs”和“确定性的NPDA”。我正在编写这个编辑只是为了满足我谴责这种多样性和矛盾的冲动：）
答案 1 :(得分：1)
尝试Michael Sipser的优秀书"Introduction to the Theory of Computation"。自动机和图灵机都表示为状态图，有足够的文本说明来帮助您解释和实现它们。
这是我们大约4年前在Uni的课程文本，就在第2版出版之前;这是一块真正的摇滚乐，我衷心推荐它！