查看“︁代码运行与图灵机”︁的源代码

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

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

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

== 参考资料 ==
* [https://docs.python.org/zh-cn/3/tutorial/controlflow.html Python 官方教程《更多控制流工具》，中文]
* [https://plato.stanford.edu/entries/turing-machine/ 斯坦福哲学百科《Turing Machines》，英文，计算模型]

[[工具和科普/逻辑与程序|返回逻辑与程序]]