我正在学习一门非常基于 jflap 的课程的自动机测试。问题是我们没有太多的文档,而且我在 jlap 上找到的示例自动机,例如this和this,不足以为即将到来的测试做准备。
我在哪里可以找到更多信息?任何其他具有示例图灵机的资源都显示为带有转换的图表,这也会有所帮助。
“用自动机、语言和复杂性解决问题”是一本很棒的教科书,它适用于任何与……标题中的任何东西相关的东西。除其他外,您还可以找到一堆适用于各种事物的 DFA/NFA/PDA/TM 示例,它们会教您很多构建它们的技术。
编辑:你的第一个链接一直在谈论“非确定性 NPDA”和“确定性 NPDA”。我写这个编辑只是为了满足我谴责这种 pleonasms 和 oxymora 的冲动:)
试试 Michael Sipser 的优秀著作《计算理论导论》。自动机和图灵机都表示为状态图,有足够的文字解释来帮助你解释和实现它们。
这是大约 4 年前我们在 Uni 的课程教材,就在第二版出版之前;这是一块真正的岩石,我衷心推荐它!