代码运行与图灵机：修订间差异

可视化wikitext

2026年10月14日 (三) 10:14的最新版本

程序是用特定语言表达的计算步骤，运行结果取决于语言规则、输入和执行环境。图灵机是描述可计算过程的抽象模型；它不依赖某一种实际处理器或编程语言。

程序执行

源代码由解析器或编译器依据语言语法处理。print(2 + 3) 在 Python 中输出 5；相同字符序列在其他语言中可能有不同语法。输入文件、运行环境、语言版本以及外部状态也可能影响结果。

图灵机模型

图灵机通常由状态集合、纸带、读写头和转移规则组成。一次转移按当前状态与读到的符号，确定写入符号、读写头移动方向和下一状态。有限的规则能够描述逐步计算，但某个程序是否会停止并不能对所有可能程序机械地判定。

参考资料

返回逻辑与程序

@@ 第1行： / 第1行： @@
-程序代码是一组可由特定语言及运行环境解释的指令；相同文字在不同语言中可能含义不同。图灵机则是研究计算过程的抽象模型，通常用一条纸带、读写头、状态及转移规则描述步骤；它不是某一种实际电脑或通用编程语言。<ref name="python">[https://docs.python.org/zh-cn/3/tutorial/controlflow.html Python 官方教程《更多控制流工具》，中文]</ref><ref name="stanford">[https://plato.stanford.edu/entries/turing-machine/ 斯坦福哲学百科《Turing Machines》，英文，计算模型]</ref>
+程序是用特定语言表达的计算步骤，运行结果取决于语言规则、输入和执行环境。图灵机是描述可计算过程的抽象模型；它不依赖某一种实际处理器或编程语言。
-== 复现一段程序 ==
+== 程序执行 ==
-记录语言及版本、完整源代码、输入、预期输出和运行限制。例如 Python 中 <code>print(2 + 3)</code> 输出 <code>5</code>；仅截图输出“5”不足以证明原始程序是什么。程序若读取文件、网络或当前时间，结果还取决于外部环境。<ref name="python" />
+源代码由解析器或编译器依据语言语法处理。<code>print(2 + 3)</code> 在 Python 中输出 <code>5</code>；相同字符序列在其他语言中可能有不同语法。输入文件、运行环境、语言版本以及外部状态也可能影响结果。
-图灵机示意图中的箭头常标注“读到什么／写成什么／向哪边移动”，每一步还要跟踪当前状态。学习时可用它解释算法是否有明确规则，不能据此推断任意具体程序会快速运行或一定停止。<ref name="stanford" />
+== 图灵机模型 ==
+图灵机通常由状态集合、纸带、读写头和转移规则组成。一次转移按当前状态与读到的符号，确定写入符号、读写头移动方向和下一状态。有限的规则能够描述逐步计算，但某个程序是否会停止并不能对所有可能程序机械地判定。
 == 参考资料 ==
-<references />
+* [https://docs.python.org/zh-cn/3/tutorial/controlflow.html Python 官方教程《更多控制流工具》，中文]
+* [https://plato.stanford.edu/entries/turing-machine/ 斯坦福哲学百科《Turing Machines》，英文，计算模型]
 [[工具和科普/逻辑与程序|返回逻辑与程序]]

迷雾样式迁移​（留言 | 贡献）

2026年10月14日 (三) 10:14的最新版本

程序执行

图灵机模型

参考资料

迷雾样式迁移（留言 | 贡献）