图灵机（C++ 实现）

• 网页
• http://alexvn.freeservers.com/s1/turing.html
• 下载次数
• http://www.simtel.net/pub/pd/61179.html
• http://home.barak-online.net/alexvn/s2/tr/trmach10.zip
• 来源
  • http://groups.google.com/groups?th=5f29a9fc083ee736
• 原始运行日志 (演示)
  • http://groups.google.com/groups?th=7aa5bb6cfb62f89f

引言

这个 C++ 程序模拟图灵机 (TM)。
图灵机由输入文件定义：元文件、状态文件、字母表文件、转换文件、输入词(组)文件。

1. 元文件的每一行包含与某个图灵机相关的数据（磁带数量、状态文件的名称、字母表文件、转换文件、输入词(组)文件）。
2. 状态文件包含初始状态、停止状态和内部状态的列表。
3. 字母表包含空符号、输入符号和内部符号的列表。
4. 转换文件的每一行包含一条转换规则。
5. 输入词(组)文件的每一行包含某个磁带的输入词。

图灵机示例（回文识别）来自 A.V.Aho、J.E.Hopcroft、J.D.Ullman 的《计算机算法的设计与分析 [1976]》（参见示例 1.8、1.9）被用作图灵机的演示样本。