计算理论复习.docVIP

计算理论复习题 什么是图灵机，图灵机的构造技术以及三种描述方式是什么？ (1)图灵机：一个图灵机是一个7元组（，，，，，，，），其中都是有穷集合，并且是状态集；是输入字母表，不包括特殊空白符号︼； 是字母表，其中：︼；；是起始状态；是接受状态；是拒绝状态，且。 (2)构造技术：有限控制器的存储构造TM，检查第一个输入是不是出现在输入的其他地方；多道；查询符号（打标记）；移动：如把一个字符串整体后移; 调用子程序。 (3)描述方式：形式描述，即详尽地写出图灵机的状态、转移函数等，这是最低、最详细程度的描述；实现描述,这种方法使用日常语言来描述图灵机的运行，如怎么移动读写头，怎么在带上存储数据等，没有给出 状态和转移函数的细节；高水平描述，它也是使用日常语言来描述算法，但忽略了实现的模型，不再需要提及机器是怎么管理它的带子或读写头。 2、什么是图灵机的格局，图灵可识别，图灵可判定？ (1)图灵机计算过程中，当前状态、当前带内容和读写头当前位置组合在一起，称为图灵机的格局，也即是瞬间状态。 (2)如果一个语言能被某一图灵机识别，则称该语言是图灵可识别的。 (3) 如果一个语言能被某一图灵机判定，则称它是图灵可判定的。 3、什么是多带图灵机，非确定型图灵机，枚举器，递归可枚举语言？ (1)多带图灵机很像普通图灵机，只是有多个带子，每个带子都有自己的读写头，用于读和写。开始时，输入出现在第一