代码运行与图灵机

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

程序执行

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

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