計算复杂性理论总结_郭培赞.docxVIP

计算复杂性理论总结报告——计算机技术33班郭培赞 指导老师：王宝文图灵机图灵机基本模型基本图灵机有一条带作为存储装置和一个控制器，控制器带一个读写头（又叫做带头）。带的两端是无穷的，被划分成无穷多个小方格，每个小方格内可以存放一个符号，控制器有有穷个状态。在计算的每一步，控制器总处于某个状态，读写头可左移或右移扫描一个方格，根据控制器当前所处的状态和读写头扫描的方格内的符号。控制器完成下列三个动作中的其中一个：1.改写被扫描方格的内容，控制器转换到一个新的状态；2.读写头向左移动一格，控制器转换到一个新的状态；3.读写头向右移动一格，控制器转换到一个新状态；结构如图所示： 左右无穷的带 读写头图灵机形式化定义，图灵机的接受过程及接受语言过程定义：一个基本图灵机M定义为一个七元组 TM={Q,C,δ,A,B,q1,F}。Q是状态集，一个非空有穷集合，标示图灵机的所有状态；C是带字母表，（放在带方格中的符号集合）非空有穷集；δ是动作函数，包括控制函数或过程转换函数（定义控制器），是QxCQxC∪（R,L）的部分函数；A是输入字母表，A?C-{B}；B是空白符，B∈C；q1是初始状态，q1∈Q；F是接收状态集，F ?Q，F中的元素叫做接收状态图灵机的每一步计算由动作函数δ确定，设当前状态q,被扫描的符号为sδ（q，s）=（q’,s’），把被扫描的方格的内容改写成s’并且转换到状态q’，读