图灵机.ppt

Fall 2003 Costas Busch - RPI 计算模型 随机存取机RAM 图灵机 图灵机模型与RAM模型的关系 随机存取机RAM 1. RAM的结构 随机存取机RAM 2. RAM程序 随机存取机RAM 3. RAM程序的耗费标准 图灵机 1. 多带图灵机 图灵机 k带图灵机可形式化地描述为一个7元组(Q，T，I，δ，b，q0，qf)，其中: (1)Q是有限个状态的集合。 (2)T是有限个带符号的集合。 (3)I是输入符号的集合，I?T。(4)b是惟一的空白符，b∈T-I。 (5)q0是初始状态。 (6)qf是终止(或接受)状态。 (7)δ是移动函数。它是从Q?Tk的某一子集映射到Q? (T?{L，R，S})k的函数。 图灵机 A Turing Machine The Tape The Input String States Transitions Determinism Partial Transition Function Halting Final States Acceptance Turing Machine Example Infinite Loop Example Another Turing Machine Example Formal Definitionsfor Turing Machines Configuration