图灵机 对于“软件工程理论”课程，我们的工作是构建一个图灵机解释器，它将接收一系列状态和转换，以及一些在文本文件中进行测试的输入。 #Mechanisms 通过将问题抽象为单独的类，并定义独特的数据结构，复杂性得到了管理。 状态机具有状态集合、当前状态和磁带。 磁带是一个看似无限的“自动收报机”，可以看作是一个动态数组。 通过产生一个单独的“磁带”数据结构，使用底层数组并提供特定的读写操作，图灵机的自动收报机磁带得以实现。 然后，通过创建一个 State 类和一个转换类来定义不同的逻辑路径，可以读取文本文件，可以动态创建图灵机，并可以测试输入。

形式语言与自动机课件_辛运帏_陈有祺 上课课件 与新版《形式语言与自动机》配套

主要介绍了图灵机的基本原理，发展历史以及相关资料对于初学者很有帮助

数据结构

武汉大学14年《计算机图形学》期末试卷

rules文件夹中的5套图灵机控制规则分别实现了N+1, N+M, N-1, N-M, 2^N，N和M为二进制整数。运行图灵机模型软件可以导入和解译rules中的txt文件，同时还可以观察规则的执行顺序。txt文件中5列数字分别表示当前状态、当前符号、新状态、新符号和读写头移动方向，其中数字1、2和3分别表示读写头不动、左移和右移动，-2和-3分别表示正常停机状态和异常停机状态。

图灵三篇论文，均有英文原文和中文翻译。 计有： 1.1936 - On Computable Numbers, with an Application to the Entscheidungsproblem（论可计算数在判定问题中的应用） 2. 1950 - Computing Machinery and Intelligence（计算机器与智能，也译作：机器能思考么？） 3. 1951 - Intelligent Machinery, A Heretical Theory（智能机器，被视为异端的理论）