图灵机模型及数据编码
合集下载
图灵机
40
Another Turing Machine Example
Turing machine for the language
{a b }
n n
y y, R
q4
, L
y y, R a a, R
q1
y y, L a a, L
q2
41
q3
y y, R
q0
a x, R
26
Turing Machine Example
A Turing machine that accepts the language:
aa *
a a, R , L
q0
q1
27
Time 0
a a a
q0
a a, R , L
q0
q1
28
Time 1
a a a
q0
a a, R , L
q0
q1
29
Time 2
a a a
q0
a a, R , L
q0
q1
30
Time 3
a a a
q0
a a, R , L
q0
q1
31
Time 4
a a a
q1
a a, R
Halt & Accept
q1
y y, L a a, L
q2
48
q3
y y, R
q0
a x, R
b y, L
x x, R
Time 7
x x y b
q1
y y, R
基本图灵机及图灵机构造技术
并一定停机. 如果没有特别指出，总是假定图灵机到达终态（接受态）
后一定停机. 但是 ，对不能接受的字符串，图灵机可能永不停止.（只
要M还在某个输入上运行，我们无法知道是因为运行的时间不 够长而没有被接受，还是根本就不会停机）
8
图灵机举例
例1：设语言 L={an bn│n>=1}，设计图灵机接受L 。 思路：最初带上为 a a … a b b… b B B B ……
X1X2…Xi-1 q XiXi+1…Xn ├M X1X2…Xi-1Y p Xi+1…Xn ，
但有如下两个例外 ： （1）i=n时， X1X2…Xn-1q Xn ├M X1X2…Xn-1Y p B ，和 （2）i=1及 Y=B 时， q X1X2…Xn├M B p X2…Xn-1Xn.
6
图灵机接受的语言
如果f（i1,i2…,ik）对所有i1,i2…,ik有定义, 那么称f是一个全递归
函数。全递归函数对应于递归语言，因为它总是被能停下来的 图灵机所计算。 所有常用的整数算术函数都是全递归函数。
13
例3：设计图灵机求真减法
mn0mn
mn mn
初始带 0m 1的0
q
5
B/B,L
0 / #,R q
1
0 / X,R
q
q
2
3
X /X,R
B/B,R q
reject
B/B,R q
accept
0 /0,R
0 / X,R
q
4
X /X,R
识别 L= 0 m m=2n, n 0的图灵机
17
课堂练习
设计一个状态数不超过3的图灵机，它能够接受语 言L=a(a+b)* ，若假定T={a,b},两个状态的图灵机 能否接受该语言？
后一定停机. 但是 ，对不能接受的字符串，图灵机可能永不停止.（只
要M还在某个输入上运行，我们无法知道是因为运行的时间不 够长而没有被接受，还是根本就不会停机）
8
图灵机举例
例1：设语言 L={an bn│n>=1}，设计图灵机接受L 。 思路：最初带上为 a a … a b b… b B B B ……
X1X2…Xi-1 q XiXi+1…Xn ├M X1X2…Xi-1Y p Xi+1…Xn ，
但有如下两个例外 ： （1）i=n时， X1X2…Xn-1q Xn ├M X1X2…Xn-1Y p B ，和 （2）i=1及 Y=B 时， q X1X2…Xn├M B p X2…Xn-1Xn.
6
图灵机接受的语言
如果f（i1,i2…,ik）对所有i1,i2…,ik有定义, 那么称f是一个全递归
函数。全递归函数对应于递归语言，因为它总是被能停下来的 图灵机所计算。 所有常用的整数算术函数都是全递归函数。
13
例3：设计图灵机求真减法
mn0mn
mn mn
初始带 0m 1的0
q
5
B/B,L
0 / #,R q
1
0 / X,R
q
q
2
3
X /X,R
B/B,R q
reject
B/B,R q
accept
0 /0,R
0 / X,R
q
4
X /X,R
识别 L= 0 m m=2n, n 0的图灵机
17
课堂练习
设计一个状态数不超过3的图灵机，它能够接受语 言L=a(a+b)* ，若假定T={a,b},两个状态的图灵机 能否接受该语言？
图灵机模型及数据编码
希尔伯特对实现自己的纲领充满信心。然而，1931年， 奥地利25岁的数理逻辑学家哥德尔﹙K．Gödel﹚提出的关 于形式系统的“不完备性定理”中指出，这种形式系统是不
存 在的，从而宣告了著名的“西尔伯特纲领”的失败。希尔伯
特 纲领的失败同时也暴露了形式系统的局限性，它表明形式系 统不能穷尽全部数学命题，任何形式系统中都存在着该系统 所不能判定其真伪的命题。
2 图灵机
在第一台电子计算机ENIAC诞生的10年前即1936年，英 国数学家图灵发表了题为“论可计算数及其在判定问题中的 应用”﹙On Computer Numbers With an Application to
the Entscheidungs Problem﹚的学术论文，奠定了学术界公认
的 现代电子计算机的理论和模型基础。 1、希尔伯特纲领
图灵的描述是关于数值计算的，不过，我们知道英文字 母表的字母以及汉字均可以用数来表示，因此，图灵机同样 可以处理非数值计算。不仅如此，更为重要的是，由数值和 非数值﹙英文字母、汉字等﹚组成的字符串，既可以解释成 数据，又可以解释成程序，从而计算的每一过程都可以用字 符串的形式进行编码，并存放在存储器中，以后使用时译码， 并由处理器执行，机器码﹙结果﹚可以从高级符号形式﹙即 程序设计语言﹚机械地推导出来。
“西尔伯特纲领”虽然失败了，但它仍然不失为人类抽 象 思维的一个伟大成果，它的历史意义是多方面的。 首先，“西尔伯特纲领”是在保全古典数学的前提下去 排 除集合论悖论的，它给数学基础问题的研究带来了全新的转 机。其次，希尔伯特纲领的提出使元数学得到了确立和发展。 最后，对计算学科而言，最具意义的是，希尔伯特纲领的失 败启发人们应避免花费大量的精力去证明那些不能判定的问 题，而应把精力集中于解决具有能行性的问题。
存 在的，从而宣告了著名的“西尔伯特纲领”的失败。希尔伯
特 纲领的失败同时也暴露了形式系统的局限性，它表明形式系 统不能穷尽全部数学命题，任何形式系统中都存在着该系统 所不能判定其真伪的命题。
2 图灵机
在第一台电子计算机ENIAC诞生的10年前即1936年，英 国数学家图灵发表了题为“论可计算数及其在判定问题中的 应用”﹙On Computer Numbers With an Application to
the Entscheidungs Problem﹚的学术论文，奠定了学术界公认
的 现代电子计算机的理论和模型基础。 1、希尔伯特纲领
图灵的描述是关于数值计算的，不过，我们知道英文字 母表的字母以及汉字均可以用数来表示，因此，图灵机同样 可以处理非数值计算。不仅如此，更为重要的是，由数值和 非数值﹙英文字母、汉字等﹚组成的字符串，既可以解释成 数据，又可以解释成程序，从而计算的每一过程都可以用字 符串的形式进行编码，并存放在存储器中，以后使用时译码， 并由处理器执行，机器码﹙结果﹚可以从高级符号形式﹙即 程序设计语言﹚机械地推导出来。
“西尔伯特纲领”虽然失败了，但它仍然不失为人类抽 象 思维的一个伟大成果，它的历史意义是多方面的。 首先，“西尔伯特纲领”是在保全古典数学的前提下去 排 除集合论悖论的，它给数学基础问题的研究带来了全新的转 机。其次，希尔伯特纲领的提出使元数学得到了确立和发展。 最后，对计算学科而言，最具意义的是，希尔伯特纲领的失 败启发人们应避免花费大量的精力去证明那些不能判定的问 题，而应把精力集中于解决具有能行性的问题。
turingmachine图灵机
图灵机的基本思想 图灵机的组成 图灵机的计算思想
图灵机的意义
图灵机模型理论是计算科学最核心的理论之一 图灵机模型为计算机设计指明了方向 图灵机模型是算法分析和程序语言设计的基础
理论
图灵机概述
所谓的图灵机就是指一个抽象的机器，它有 一条无限长的纸带，纸带分成了一个一个的 小方格，每个方格有不同的颜色。有一个机 器头在纸带上移来移去。机器头有一组内部 状态，还有一些固定的程序。在每个时刻， 机器头都要从当前纸带上读入一个方格信息， 然后结合自己的内部状态查找程序表，根据 程序输出信息到纸带方格上，并转换自己的 内部状态，然后进行移动。
读写头
状态控制器
图灵机的组成
一个确定型单带图灵机由以下四个部分组成 (见上页图)： ·无限长的带子 TAPE，带子划成小格， 格子标记 … , －3，－2，－1，0，1，2, 3，… ·读写头HEAD ·控制规则表TABLE ·状态存储器
图灵机的组成-TAPE
纸带被划分为一个接一个的小格子，每个格 子上包含一个来自有限字母表的符号，字母 表中有一个特殊的符号 表示空白。纸带上 的格子从左到右依此被编号为 0, 1, 2, ... ， 纸带的右端可以无限伸展。
图灵机的基本思想
用机器来模拟人们用纸笔进行数学运算的过 程，该过程可分为如下两个简单动作：
➢在纸上写上或擦除某个符号 ➢把注意力从纸的一个位置移动到另一个位置
而在每个阶段，人要决定下一步的动作，依 赖于：
➢此人当前所关注的纸上某个位置的符号 ➢此人当前思维的状态。
… －2 －1 0 1 2 3 …
图灵机计算思想
计算机系统应该有： 存储器（相当于存储带）
中央处理器（控制器及其状态）
为了能够将数据保存到存储器并将计算结 果从存储器送出来展示给用户，计算机系 统还应该有输入设备和输出设备如键盘、 鼠标、显示器和打印机等。
图灵机的意义
图灵机模型理论是计算科学最核心的理论之一 图灵机模型为计算机设计指明了方向 图灵机模型是算法分析和程序语言设计的基础
理论
图灵机概述
所谓的图灵机就是指一个抽象的机器，它有 一条无限长的纸带，纸带分成了一个一个的 小方格，每个方格有不同的颜色。有一个机 器头在纸带上移来移去。机器头有一组内部 状态，还有一些固定的程序。在每个时刻， 机器头都要从当前纸带上读入一个方格信息， 然后结合自己的内部状态查找程序表，根据 程序输出信息到纸带方格上，并转换自己的 内部状态，然后进行移动。
读写头
状态控制器
图灵机的组成
一个确定型单带图灵机由以下四个部分组成 (见上页图)： ·无限长的带子 TAPE，带子划成小格， 格子标记 … , －3，－2，－1，0，1，2, 3，… ·读写头HEAD ·控制规则表TABLE ·状态存储器
图灵机的组成-TAPE
纸带被划分为一个接一个的小格子，每个格 子上包含一个来自有限字母表的符号，字母 表中有一个特殊的符号 表示空白。纸带上 的格子从左到右依此被编号为 0, 1, 2, ... ， 纸带的右端可以无限伸展。
图灵机的基本思想
用机器来模拟人们用纸笔进行数学运算的过 程，该过程可分为如下两个简单动作：
➢在纸上写上或擦除某个符号 ➢把注意力从纸的一个位置移动到另一个位置
而在每个阶段，人要决定下一步的动作，依 赖于：
➢此人当前所关注的纸上某个位置的符号 ➢此人当前思维的状态。
… －2 －1 0 1 2 3 …
图灵机计算思想
计算机系统应该有： 存储器（相当于存储带）
中央处理器（控制器及其状态）
为了能够将数据保存到存储器并将计算结 果从存储器送出来展示给用户，计算机系 统还应该有输入设备和输出设备如键盘、 鼠标、显示器和打印机等。
大学计算机第4讲-冯-诺依曼计算机器-程序执行
自动存取：存储器的工作原理 (1)什么是存储器?
存储器的基本结构
概念映射
存储器
存储单元 存储位(存0或存1) 地址编码An-1…A0 单元控制线Wi 输出缓冲器 …
宿舍楼
房间 床位(住人/不住人) 房间号 房间钥匙 公共的走廊及大门 ……
从存储器与宿舍楼的概念对比中，你能发现什 么异同吗？
自动存取：存储器的工作原理 (2)存储器是怎样存储0和1的? 又是怎样控制存取的?
图灵机的思想与模型简介 (4)小结?
输入
程序&指令 (计算规则)
按计算规则(程序)对输 入进行变换得到输出
输出
输入/输出都是0和1的形 式表达
程序和指令也是0和1的形 式表达
程序可用状态转换 图来表达
冯.诺依曼计算机: 思想与构成
战德臣
哈尔滨工业大学 教授.博士生导师 教育部大学计算机课程教学指导委员会委员
OK Z hanD C
Research Center on Intelligent Computing for Enterprises & Services,
Harbin Institute of Technology
冯.诺依曼计算机: 思想与构成 (1)什么是冯.诺依曼计算机?
冯.诺依曼(Von.Neumann)计算机
基本目标: 理解程序是如何被执行的
基本思维：机器级算法与程序机器指令与指令系统存储器存储程序运 算器与控制器机器级程序的执行；算法程序化程序指令化指令存储化 执行信号化
机器指令与机器级程序
战德臣
哈尔滨工业大学 教授.博士生导师 教育部大学计算机课程教学指导委员会委员
OK Z hanD C
Research Center on Intelligent Computing for Enterprises & Services,
计算模型图灵机课件
图灵机为计算机安全领域提供了理论 基础，如分析病毒、黑客攻击等。
04
图灵机的启示
对人工智能的影响
1 2
奠定人工智能理论基础
图灵机作为计算模型，为人工智能领域提供了理 论基础，推动了人工智能的发展。
启发机器学习算法
图灵机的计算原理启发了众多机器学习算法，如 神经网络、深度学习等。
3
强化智能系统设计
特点
非确定型图灵机具有更高的计算能力，可以模拟更复杂的算法和问 题。
应用
非确定型图灵机在理论计算机科学中有着重要的地位，例如在自动 机理论和形式语言等领域中的应用。
概率图灵机
定义
概率图灵机是一种能够进行概率计算的图灵机模型，即机器在执行 操作时具有一定的概率分布。
特点
概率图灵机可以模拟随机过程和不确定性，适用于处理概率性和统 计性的问题。
05
图灵机的扩展
多带图灵机
定义
多带图灵机是指具有多个磁带，并且每个磁带都可以独立进行读 写操作的图灵机。
特点
多带图灵机可以同时处理多个任务，提高了计算效率和并行处理 能力。
应用
多带图灵机在计算机科学和人工智能领域中有着广泛的应用，例 如并行算法、分布式计算和云计算等。
非确定型图灵机
定义
非确定型图灵机是指具有不确定性的计算模型，即存在多个可能的 计算路径，但最终都能得到正确的结果。
计算模型图灵机课 件
contents
目录
• 图灵机简介 • 图灵机的工作原理 • 图灵机的应用 • 图灵机的启示 • 图灵机的扩展
01
图灵机简介
图灵机的发明者
01
图灵机的发明者是英国数学家阿 兰·图灵（Alan Turing），他在 1936年提出了图灵机的概念。
第七章 图灵机
设Q={q0,q1,q2,q3,q4}，={0,1,X,y,B}，而F={q4}，非 形式地，每个状态都表示程序中的一个语句或一组 语句。 状态q0在开始时被进入，又恰好在每次用X替换一 个最左的0之前被进入，用状态q1向右搜索，跳过所 有的0和Y，直到发现最左的1。如果M找到一个1， M就将它变为Y，同时进入状态q2。 状态q2向左搜索X，刚一找到X，就进入状态q0， 当它改变状态时，右移到最左的0。当M在状态q2 中向右搜索时，若在一个1之前遇到一个B或X，则 输入被拒绝，这或者是有太多的0，或者输入不是 在0*1*中。
具有双向无限带的图灵机和标准图灵机模型是完全等价的不同之处只是在于双向无限带图灵机可以两个方向无限延伸由于双向无限带图灵机没有左边界所以输入字可以放在带的任意位置而其余位置均被假定为空白初始带头在输入字的左端关系关联两个id右边的id可以从左边的id通过一个动作得到
第七章 图灵机
周俊萍
zhoujp877@
7.2 图灵机模型
有效过程的形式模型应该具有某些性质，首先，每 个过程都应该是有穷可描述的。其次，过程应该由 离散的步组成，每一步能够机械地被执行。A.Turing 在1936年介绍了这样一个模型-图灵机。 这里我们介绍它的一种变形。
a1 a2 … ai … a n B B … 有限控制器 图7.1 基本图灵机
给定一个识别语言L的TM，不失一般性，我们假定， 当输入被接受时，TM将停止，也就是说，没有下一个 动作，然而，对于不被接受的字，TM可能永不停止。
例7.1 接受语言L＝{0n1nn1｝的TM M的设计如下: 起初，M的带包含0n1n，后面跟着无穷多个空白符，用 X替换M最左边的0，右移至最左边的1，用Y替换它， 左移去寻找最右边的X，然后右移一个单元到最左边 的0，重复这个循环。但是，若在搜索1时，M找到了 一个空白符，那么M停止而不接受，若在将一个1改变 成Y后，M再也找不到0了，那么M检查一下是否还剩1， 如果没有，M接受。
图灵机共39页文档
q1 (q2,␢,-1) (q3,␢,-1) (qN,␢,-1)
q2 (qY,␢,-1) (qN,␢,-1) (qN,␢,-1)
q3 (qN,␢,-1) (qN,␢,-1) (qN,␢,-1)
9
• 如输入字符串x＝100100，
• DTM经九步操作后，进入终止状态qY
• 即该确定型单带图灵机对输入串x 的解答为“是”。
“是”。
• 其它情况(终止在状态qN，或永不终止)都不表示 解为“是”。
• 不确定型单带图灵机可能有多次运行。如果至少 有一次运行结果为“是”，
• 则称该图灵机接受字符串x． • 不确定型单带图灵机M的语言LM定义为
LM = {x ∈ ∑*| M接受x}
31
• NTM接受x∈ LM所需的时间是所有接受x的运 行所需步数(为两个阶段的步数之和)的最小者
33
• 集合P与集合NP的关系还不清楚，但是 显然有
P⊂ NP (证)只须证明如问题Π∈ P，则Π ∈ NP．
令A是Π的一个多项式时间算法， 只要将A充作检测部分，略去猜测器，
(猜测器不运作) 我们就得到了一个不确定型图灵机，
这是一个多项式时间不确定型图灵机，
并且它解决问题Π ，因此 Π ∈ NP．
O(2P(n) )
37
• 很多人相信P≠NP，但还没得到证明. • 如这一命题正确，则P是NP的一个真
子集。 • 则集合(NP－P)不是空集, 这是个很重
要的集合.
38
路长度是否小于或等于B． • 显然，一个实例有一条满足条件的闭
合回路的充要条件为: 存在一个可能解S, 对S检测的结果为 “是”. • 从而，巡回售货员问题被该不确定算 法解决。
26
• 多项式时间不确定算法解决问题Π 是指:
q2 (qY,␢,-1) (qN,␢,-1) (qN,␢,-1)
q3 (qN,␢,-1) (qN,␢,-1) (qN,␢,-1)
9
• 如输入字符串x＝100100，
• DTM经九步操作后，进入终止状态qY
• 即该确定型单带图灵机对输入串x 的解答为“是”。
“是”。
• 其它情况(终止在状态qN，或永不终止)都不表示 解为“是”。
• 不确定型单带图灵机可能有多次运行。如果至少 有一次运行结果为“是”，
• 则称该图灵机接受字符串x． • 不确定型单带图灵机M的语言LM定义为
LM = {x ∈ ∑*| M接受x}
31
• NTM接受x∈ LM所需的时间是所有接受x的运 行所需步数(为两个阶段的步数之和)的最小者
33
• 集合P与集合NP的关系还不清楚，但是 显然有
P⊂ NP (证)只须证明如问题Π∈ P，则Π ∈ NP．
令A是Π的一个多项式时间算法， 只要将A充作检测部分，略去猜测器，
(猜测器不运作) 我们就得到了一个不确定型图灵机，
这是一个多项式时间不确定型图灵机，
并且它解决问题Π ，因此 Π ∈ NP．
O(2P(n) )
37
• 很多人相信P≠NP，但还没得到证明. • 如这一命题正确，则P是NP的一个真
子集。 • 则集合(NP－P)不是空集, 这是个很重
要的集合.
38
路长度是否小于或等于B． • 显然，一个实例有一条满足条件的闭
合回路的充要条件为: 存在一个可能解S, 对S检测的结果为 “是”. • 从而，巡回售货员问题被该不确定算 法解决。
26
• 多项式时间不确定算法解决问题Π 是指:
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
图灵机模型及数据编码
逻辑运算
图灵机模型及数据编码
门
可以设计出进行逻辑运算的装置，比如 用继电器或者齿轮等，把这种能完成逻 辑运算的装置称为门（Gate）。现代电 子计算机中的门是用电子线路实现的， 其中1和0分别用电平的高和低来表示。
图灵机模型及数据编码
触发器
图灵机模型及数据编码
其他存储技术
图灵机模型及数据编码
图灵机的直观描述
3个部件：有穷控制器、无穷带和读写头 3个动作：改写当前格、左移或右移一格
存储带
读写头
……
……
有穷控制器 图灵机模型
图灵机模型及数据编码
图灵机的形式化描述
图灵机是一个五元组（K，∑，δ，s，H）， 其中：
K 是有穷个状态的集合； ∑ 是字母表，即符号的集合； s ∈K是初始状态； H∈K 是停机状态的集合，当控制器内部状态
二进制与其他数制的转换（4）
二进制与十六进制的转换 161＝24，4位二进制数刚好可以表示0－F这16个
数码，也就是说二进制的4位数正好可以用1位 十六进制数表示
将二进制数 111.011101 转换为十六进制： (0010 1101 0111 1011.0111 0100)B＝(2 D 7 B.7 4)H 将十六进制数 2C1D.A1 转换为二进制： (2 C 1 D. A 1)H＝(0010 1100 0001 1101.1010 0001)B
实数
Nd2p
图灵机模型及数据编码
数值的表示（4）
若要考虑符号位的处理，则运算变得复 杂:
为了解决此类问题，在机器数中，负数 有三种表示法：原码、反码和补码。
图灵机模型及数据编码
数值的表示（5）
原码：
数符位以0表示正1表示负，数值部分就是绝对值 的二进制表示，不便于加减运算
反码：
对于正数与原码相同；对于负数，数符位为1，其 数值部分为绝对值取反
计算机系统应该有存储器（相当于存储带）、 中央处理器（控制器及其状态），并且其字母 表可以仅有0和1两个符号；为了能将数据保存 到存储器并将计算结果从存储器送出来展示给 用户，计算机系统还应该有输入设备和输出设 备如键盘、鼠标、显示器和打印机等。
图灵机模型及数据编码
1.2 位的存储
如果用0-1作为编码的基本元素的话， 那么存储的最小单位为1位（bit），要 么是0要么是1。可见只要存储装置有两 种不同的稳定状态就能可以表示和存储 这两个元素，其中一个状态表示1，则 另一种状态就表示0
补码：
对于正数与原码相同；对于负数，数符位为1，其 数值部分为绝对值取反最右加1，即为反码加1
二进制：B（Binary），如 (11101)B； 八进制：O（Octal），如 (35)O； 十进制：D（Decimal），如 (29)D； 十六进制：H（Hexadecimal），如 (1D)H；
图灵机模型及数据编码
二进制与其他数制的转换（1）
二进制与十进制的转换
十进制转换成二进制：将整数部分和小数 部分分别转换，然后再拼接起来
整数部分，采用除2取余法； 小数部分，采用乘2取整法。
二进制转换为十进制：直接按权展开即可
小数点后的权分别为2的-1、-2、-3、……次幂
图灵机模型及数据编码
二进制与其他数制的转换（2）
十进制转换成二进制：
图灵机模型及数据编码
二进制与其他数制的转换（3）
二进制转换为十进制：
图灵机模型及数据编码
二进制与八进制的转换类似
图灵机模型及数据编码
数值的表示（1）
机器数
把在机器内存放的正负号数码化的数称为 机器数，把机器外部由正负表示的数称为 真值数
若一个数占8位，真值数（－）B的机器数 为
图灵机模型及数据编码
数值的表示（2）
整数和实数
整数
图灵机模型及数据编码
数值的表示（3）
整数和实数
“5＋1”的计算过程（4）
图灵机模型及数据编码
通用图灵机（1）
编码方案：
图灵机模型及数据编码
通用图灵机（2）
图灵机模型及数据编码
通用图灵机蕴含的计算思想
“x+1”图灵机功能是固定的，相当于一个程 序
通用的图灵机功能根据输入编码的不同而变化
程序也是பைடு நூலகம்据
存储程序和程序控制
通用图灵机模型是计算机的计算能力的极限
为停机状态时图灵机结束计算； δ是转移函数，即控制器的规则集合。
图灵机模型及数据编码
计算“x+1”的图灵机
目标：利用二进制来设计一个专门计算 “x+1”的图灵机，要求计算完成时，读 写头要回归原位
状态集合K：{start，add，carry， noncarry，overflow，return，halt}；
磁芯 电容 磁介质 有机玻璃或聚酯树酯等材料制作的介质
图灵机模型及数据编码
1.3 存储器
1 Byte ＝ 8 Bit 1 KB（kilobyte）＝ 1024 Byte 1 MB（megabyte）＝ 1024 KB 1 GB（gigabyte）＝ 1024 MB 1 TB（terabyte）＝ 1024 GB
图灵机模型及数据编码
存储器
主存储器
地址
辅助存储器
软盘、硬盘和光盘等
图灵机模型及数据编码
1.4 数据在计算机中的表示
二进制 数值的表示 字符的表示 图形和图象的表示 音频数据的表示
图灵机模型及数据编码
数制
进位计数的方法即数制 在采用进位计数的数字系统中，如果只用r个
数码，则称其为基r数制（Radix-r Number System）或 r 进制，r 便称为该数制的“基数” （Radix）
第1章 图灵机模型及数据编码
图灵机模型理论是计算学科最核心的理 论之一
图灵机模型为计算机设计指明了方向 图灵机模型是算法分析和程序语言设计
的基础理论。
图灵机模型及数据编码
本章主要内容
1.1 图灵机 1.2 位的存储 1.3 存储器 1.4 数据在计算机中的表示 1.5 数据压缩 1.6 数据传输误码及对策
字母表∑：{0，1，*}； 初始状态s：start； 停机状态集合H：{halt}；
图灵机模型及数据编码
计算“x+1”的图灵机
规则集合δ：
图灵机模型及数据编码
“5＋1”的计算过程（1）
图灵机模型及数据编码
“5＋1”的计算过程（2）
图灵机模型及数据编码
“5＋1”的计算过程（3）
图灵机模型及数据编码
逻辑运算
图灵机模型及数据编码
门
可以设计出进行逻辑运算的装置，比如 用继电器或者齿轮等，把这种能完成逻 辑运算的装置称为门（Gate）。现代电 子计算机中的门是用电子线路实现的， 其中1和0分别用电平的高和低来表示。
图灵机模型及数据编码
触发器
图灵机模型及数据编码
其他存储技术
图灵机模型及数据编码
图灵机的直观描述
3个部件：有穷控制器、无穷带和读写头 3个动作：改写当前格、左移或右移一格
存储带
读写头
……
……
有穷控制器 图灵机模型
图灵机模型及数据编码
图灵机的形式化描述
图灵机是一个五元组（K，∑，δ，s，H）， 其中：
K 是有穷个状态的集合； ∑ 是字母表，即符号的集合； s ∈K是初始状态； H∈K 是停机状态的集合，当控制器内部状态
二进制与其他数制的转换（4）
二进制与十六进制的转换 161＝24，4位二进制数刚好可以表示0－F这16个
数码，也就是说二进制的4位数正好可以用1位 十六进制数表示
将二进制数 111.011101 转换为十六进制： (0010 1101 0111 1011.0111 0100)B＝(2 D 7 B.7 4)H 将十六进制数 2C1D.A1 转换为二进制： (2 C 1 D. A 1)H＝(0010 1100 0001 1101.1010 0001)B
实数
Nd2p
图灵机模型及数据编码
数值的表示（4）
若要考虑符号位的处理，则运算变得复 杂:
为了解决此类问题，在机器数中，负数 有三种表示法：原码、反码和补码。
图灵机模型及数据编码
数值的表示（5）
原码：
数符位以0表示正1表示负，数值部分就是绝对值 的二进制表示，不便于加减运算
反码：
对于正数与原码相同；对于负数，数符位为1，其 数值部分为绝对值取反
计算机系统应该有存储器（相当于存储带）、 中央处理器（控制器及其状态），并且其字母 表可以仅有0和1两个符号；为了能将数据保存 到存储器并将计算结果从存储器送出来展示给 用户，计算机系统还应该有输入设备和输出设 备如键盘、鼠标、显示器和打印机等。
图灵机模型及数据编码
1.2 位的存储
如果用0-1作为编码的基本元素的话， 那么存储的最小单位为1位（bit），要 么是0要么是1。可见只要存储装置有两 种不同的稳定状态就能可以表示和存储 这两个元素，其中一个状态表示1，则 另一种状态就表示0
补码：
对于正数与原码相同；对于负数，数符位为1，其 数值部分为绝对值取反最右加1，即为反码加1
二进制：B（Binary），如 (11101)B； 八进制：O（Octal），如 (35)O； 十进制：D（Decimal），如 (29)D； 十六进制：H（Hexadecimal），如 (1D)H；
图灵机模型及数据编码
二进制与其他数制的转换（1）
二进制与十进制的转换
十进制转换成二进制：将整数部分和小数 部分分别转换，然后再拼接起来
整数部分，采用除2取余法； 小数部分，采用乘2取整法。
二进制转换为十进制：直接按权展开即可
小数点后的权分别为2的-1、-2、-3、……次幂
图灵机模型及数据编码
二进制与其他数制的转换（2）
十进制转换成二进制：
图灵机模型及数据编码
二进制与其他数制的转换（3）
二进制转换为十进制：
图灵机模型及数据编码
二进制与八进制的转换类似
图灵机模型及数据编码
数值的表示（1）
机器数
把在机器内存放的正负号数码化的数称为 机器数，把机器外部由正负表示的数称为 真值数
若一个数占8位，真值数（－）B的机器数 为
图灵机模型及数据编码
数值的表示（2）
整数和实数
整数
图灵机模型及数据编码
数值的表示（3）
整数和实数
“5＋1”的计算过程（4）
图灵机模型及数据编码
通用图灵机（1）
编码方案：
图灵机模型及数据编码
通用图灵机（2）
图灵机模型及数据编码
通用图灵机蕴含的计算思想
“x+1”图灵机功能是固定的，相当于一个程 序
通用的图灵机功能根据输入编码的不同而变化
程序也是பைடு நூலகம்据
存储程序和程序控制
通用图灵机模型是计算机的计算能力的极限
为停机状态时图灵机结束计算； δ是转移函数，即控制器的规则集合。
图灵机模型及数据编码
计算“x+1”的图灵机
目标：利用二进制来设计一个专门计算 “x+1”的图灵机，要求计算完成时，读 写头要回归原位
状态集合K：{start，add，carry， noncarry，overflow，return，halt}；
磁芯 电容 磁介质 有机玻璃或聚酯树酯等材料制作的介质
图灵机模型及数据编码
1.3 存储器
1 Byte ＝ 8 Bit 1 KB（kilobyte）＝ 1024 Byte 1 MB（megabyte）＝ 1024 KB 1 GB（gigabyte）＝ 1024 MB 1 TB（terabyte）＝ 1024 GB
图灵机模型及数据编码
存储器
主存储器
地址
辅助存储器
软盘、硬盘和光盘等
图灵机模型及数据编码
1.4 数据在计算机中的表示
二进制 数值的表示 字符的表示 图形和图象的表示 音频数据的表示
图灵机模型及数据编码
数制
进位计数的方法即数制 在采用进位计数的数字系统中，如果只用r个
数码，则称其为基r数制（Radix-r Number System）或 r 进制，r 便称为该数制的“基数” （Radix）
第1章 图灵机模型及数据编码
图灵机模型理论是计算学科最核心的理 论之一
图灵机模型为计算机设计指明了方向 图灵机模型是算法分析和程序语言设计
的基础理论。
图灵机模型及数据编码
本章主要内容
1.1 图灵机 1.2 位的存储 1.3 存储器 1.4 数据在计算机中的表示 1.5 数据压缩 1.6 数据传输误码及对策
字母表∑：{0，1，*}； 初始状态s：start； 停机状态集合H：{halt}；
图灵机模型及数据编码
计算“x+1”的图灵机
规则集合δ：
图灵机模型及数据编码
“5＋1”的计算过程（1）
图灵机模型及数据编码
“5＋1”的计算过程（2）
图灵机模型及数据编码
“5＋1”的计算过程（3）
图灵机模型及数据编码