确定性图灵机 一台图灵机是-个七元组(Q,∑，T,d,90,Qaccept,qreject),其中Q,∑，T都是有限集合，且满足 1. Q是状态集合； 2. 是输入字母表，其中不包含特殊的空白符口： 3.b∈「为空白符； 4. 是带字母表，其中口∈且∑CT; 5. 6:Q×T→Q×T×{L,R}是转移函数，其中L,R表示读写头是向左移还是向右移； 6. q0∈Q是起始状态； 7. 9 accept∈Q是接受状态。9 reject∈Q是拒绝状态，且Areject卡Qaccept° 可以看出，转换函数决定了这么一个图灵机在每个格局（读写 头位置，当前带字母，当前状态)下，其转换新状态是唯一 的，计算是唯一的确定性图灵机 可以看出，转换函数决定了这么一个图灵机在每个格局(读写 头位置，当前带字母，当前状态）下，其转换新状态是唯一 的，计算是唯一的