https://wiki.mistarg.cn/index.php?action=history&feed=atom&title=%E4%BB%A3%E7%A0%81%E8%BF%90%E8%A1%8C%E4%B8%8E%E5%9B%BE%E7%81%B5%E6%9C%BA
代码运行与图灵机 - 版本历史
2026-10-17T00:00:12Z
本wiki上该页面的版本历史
MediaWiki 1.46.2
https://wiki.mistarg.cn/index.php?title=%E4%BB%A3%E7%A0%81%E8%BF%90%E8%A1%8C%E4%B8%8E%E5%9B%BE%E7%81%B5%E6%9C%BA&diff=2318&oldid=prev
迷雾样式迁移：重写科普正文：定义、结构、原理与资料表
2026-10-14T10:14:42Z
<p>重写科普正文：定义、结构、原理与资料表</p>
<table style="background-color: #fff; color: #202122;" data-mw-interface="">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="zh-Hans-CN">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←上一版本</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">2026年10月14日 (三) 10:14的版本</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">第1行：</td>
<td colspan="2" class="diff-lineno">第1行：</td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">程序代码是一组可由特定语言及运行环境解释的指令；相同文字在不同语言中可能含义不同。图灵机则是研究计算过程的抽象模型，通常用一条纸带、读写头、状态及转移规则描述步骤；它不是某一种实际电脑或通用编程语言。<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></del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">程序是用特定语言表达的计算步骤，运行结果取决于语言规则、输入和执行环境。图灵机是描述可计算过程的抽象模型；它不依赖某一种实际处理器或编程语言。</ins></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>== <del style="font-weight: bold; text-decoration: none;">复现一段程序 </del>==</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>== <ins style="font-weight: bold; text-decoration: none;">程序执行 </ins>==</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">记录语言及版本、完整源代码、输入、预期输出和运行限制。例如 Python 中 </del><code>print(2 + 3)</code> <del style="font-weight: bold; text-decoration: none;">输出 </del><code>5</code><del style="font-weight: bold; text-decoration: none;">；仅截图输出“5”不足以证明原始程序是什么。程序若读取文件、网络或当前时间，结果还取决于外部环境。<ref name="python" /></del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">源代码由解析器或编译器依据语言语法处理。</ins><code>print(2 + 3)</code> <ins style="font-weight: bold; text-decoration: none;">在 Python 中输出 </ins><code>5</code><ins style="font-weight: bold; text-decoration: none;">；相同字符序列在其他语言中可能有不同语法。输入文件、运行环境、语言版本以及外部状态也可能影响结果。</ins></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">图灵机示意图中的箭头常标注“读到什么／写成什么／向哪边移动”，每一步还要跟踪当前状态。学习时可用它解释算法是否有明确规则，不能据此推断任意具体程序会快速运行或一定停止。<ref name</del>=<del style="font-weight: bold; text-decoration: none;">"stanford" /></del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>=<ins style="font-weight: bold; text-decoration: none;">= 图灵机模型 ==</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">图灵机通常由状态集合、纸带、读写头和转移规则组成。一次转移按当前状态与读到的符号，确定写入符号、读写头移动方向和下一状态。有限的规则能够描述逐步计算，但某个程序是否会停止并不能对所有可能程序机械地判定。</ins></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== 参考资料 ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== 参考资料 ==</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"><references </del>/<del style="font-weight: bold; text-decoration: none;">></del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* [https:</ins>/<ins style="font-weight: bold; text-decoration: none;">/docs.python.org/zh-cn/3/tutorial/controlflow.html Python 官方教程《更多控制流工具》，中文]</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* [https://plato.stanford.edu/entries/turing-machine/ 斯坦福哲学百科《Turing Machines》，英文，计算模型]</ins></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[工具和科普/逻辑与程序|返回逻辑与程序]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[工具和科普/逻辑与程序|返回逻辑与程序]]</div></td></tr>
</table>
迷雾样式迁移
https://wiki.mistarg.cn/index.php?title=%E4%BB%A3%E7%A0%81%E8%BF%90%E8%A1%8C%E4%B8%8E%E5%9B%BE%E7%81%B5%E6%9C%BA&diff=2257&oldid=prev
迷雾样式迁移：重排科普目录与分类页面；保留工具索引和学习资源
2026-10-14T09:36:50Z
<p>重排科普目录与分类页面；保留工具索引和学习资源</p>
<p><b>新页面</b></p><div>程序代码是一组可由特定语言及运行环境解释的指令；相同文字在不同语言中可能含义不同。图灵机则是研究计算过程的抽象模型，通常用一条纸带、读写头、状态及转移规则描述步骤；它不是某一种实际电脑或通用编程语言。<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><br />
<br />
== 复现一段程序 ==<br />
记录语言及版本、完整源代码、输入、预期输出和运行限制。例如 Python 中 <code>print(2 + 3)</code> 输出 <code>5</code>；仅截图输出“5”不足以证明原始程序是什么。程序若读取文件、网络或当前时间，结果还取决于外部环境。<ref name="python" /><br />
<br />
图灵机示意图中的箭头常标注“读到什么／写成什么／向哪边移动”，每一步还要跟踪当前状态。学习时可用它解释算法是否有明确规则，不能据此推断任意具体程序会快速运行或一定停止。<ref name="stanford" /><br />
<br />
== 参考资料 ==<br />
<references /><br />
<br />
[[工具和科普/逻辑与程序|返回逻辑与程序]]</div>
迷雾样式迁移