哈斯克 用Haskell编写的非常非常简单的Turing Machine模拟器和解释器。 编译并运行 您将需要来编译该项目。 您可以开始做 git clone http://github.com/micheleberetta98/hasking cd hasking stack setup stack build stack run example.txt 您可以使用stack test执行一些测试。 命令行选项 选项如下 hasking [-i FILE] [-o FILE] [-t TAPE] [-v] [-h] 短的 长 意义 -v --version 打印版本 -h --help 打印帮助页面 -i --input 输入文件（默认为stdin ） -o --output 输出文件（默认为stdout ） -t --tape 最初使用的胶带 初始磁带将覆盖文

图灵机 / ** 在图灵机（Alan Turing）在1936年发表的关于计算数的论文中进行了概念化 被设计为状态逻辑机，可以执行当今计算机可以进行的任何计算。 我的 代码旨在模拟TM使用读写头和 用来保存数据的磁带，可以是任何大小的磁带。 我在其中使用了四个符号 机器进行读取/写入：B，0、1和U。B标记磁带的最左侧，而B标记磁带的最左侧。 U代表数据的结尾。 之后，机器仅读取和解释二进制文件 使用任何状态逻辑表的数字。 对于状态逻辑本身，我开始 公共方法中的状态，该方法将根据值调用状态的私有方法 R / W磁头已读取。 没有值返回到驱动程序类； 只是一个布尔值 确定何时完成指定算法的过程。 * /

通用图灵机 JAVA通用图灵机代码 UTM 类从机器文件夹加载外部机器配置。 机器描述是一个多行的 txt 文件。 每行包含 5 个空格分隔值，如下所示： PresentState InputSymbolFromTape ReplaceWithTapeSymbol MoveHead NextState 例如：0 ab L 1 说明：当前状态为 0，从磁带中读取 'a'。 'b' 是代替 'a' 的符号。 写入后，头部向左移动 ('L')，状态变为 1。 UTMDriver 是一个 Demo 类，它扩展了 UTM 代码的功能。 一旦你理解了 UTM.java 代码，你就可以编写你自己的 Driver 类了。

A.M. Turing ON COMPUTABLE NUMBERS,WITH AN APPLICATION TO THE ENTSCHEIDUNGSPROBLEM. 阿兰•麦席森•图灵是计算机科学的先驱、英国科学家，以其命名的图灵奖有“计算机界的诺贝尔奖”之称。这篇文制定了图灵机器的理论，是计算机科学学习者必读之一。