计算机程序设计哲学

计算机程序设计哲学 计算机抽象模型 图灵机(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。 对于任意一个图灵机,因为它的描述是有限