数媒120陈志伟1030512402计算理论论文.docVIP

我对计算复杂性的一些理解（论文） ——数媒1204陈志伟 指导老师：张军 一、浅谈图灵机 1、图灵机基本模型 基本图灵机有一条带作为存储装置和一个控制器，控制器带一个读写头（又叫做带头）。带的两端是无穷的，被划分成无穷多个小方格，每个小方格内可以存放一个符号，控制器有有穷个状态。在计算的每一步，控制器总处于某个状态，读写头可左移或右移扫描一个方格，根据控制器当前所处的状态和读写头扫描的方格内的符号。控制器完成下列三个动作中的其中一个： 1.改写被扫描方格的内容，控制器转换到一个新的状态； 2.读写头向左移动一格，控制器转换到一个新的状态； 3.读写头向右移动一格，控制器转换到一个新状态； 结构如图所示： 左右无穷的带 读写头 2、图灵机形式化定义，图灵机的接受过程及接受语言过程 定义：一个基本图灵机M定义为一个七元组 TM={Q,C,δ,A,B,q1,F}。 Q是状态集，一个非空有穷集合，标示图灵机的所有状态； C是带字母表，（放在带方格中的符号集合）非空有穷集； δ是动作函数，包括控制函数或过程转换函数（定义控制器），是QxC(QxC∪（R,L）的部分函数；A是输入字母