计算机程序设计哲学
计算机抽象模型
图灵机（Turing machine）
一台图灵机是一个七元组，M = {Q，Σ，Γ，δ，q0，qaccept，qreject}，其中 Q，Σ，Γ 都是有限集合，且满足：
1、Q 是状态集合；
2、Σ 是输入字母表，其中不包含特殊的空白符；
3、Γ 是带字母表，其中 □∈Γ且Σ∈Γ ；
4、 δ：Q ×「 → Q × Γ × {L，R} 是转移函数，其中L，R 表示读写头是向左移还是向右移；
5、q0∈Q是起始状态；
6、qaccept是接受状态。
7、qreject是拒绝状态，且qreject≠qaccept。
对于任意一个图灵机，因为它的描述是有限
