出处:信息科学卷 • 计算机科学技术 • 硬件与系统
字词 | 图灵机 |
释义 | 图灵机 图灵机 现代通用计算机的原始模型。1936年由图灵提出。是一种完全忽略硬件状态,考虑的焦点是逻辑结构的虚拟 “计算机”。不是一个具体机器,而是一种思想模型。据此可制造一种十分简单但运算能力极强的计算装置,用来计算所有能想象得到的可计算函数。 出处:信息科学卷 • 计算机科学技术 • 硬件与系统 图灵机 英国图灵为讨论可计算性而设想的一种理想的计算机。一个用数学方法精确地加以定义、使能反映计算程序的抽象系统。直观上,图灵机可以看成一个附有两端无穷的带子的黑箱,带子由联成串的方格组成,黑箱和带子由一指针相联。图灵机只有有穷多个状态和有穷多条指令。计算的每一步中,根据机器所处的状态和指针所指的方格上的符号,指令可决定机器干什么事并转入什么状态。开始计算时,机器处于开始状态,然后一步步地根据指令进行计算,直到无法继续时停止。带上信息即为计算的结果。1939年图灵把图灵机概念推广为带有外部信息源的图灵机。 出处:哲学卷 • 逻 辑 学 • 现代形式逻辑 图灵机 一种定义算法的理想机器。由图灵于1936年定义。它对电子计算机的产生有一定影响。直观上,图灵机可以看成一个附有两端无穷的带子的黑箱,带子由联成串的方格组成,黑箱和带子由一指针相联。图灵机只有有穷多个状态和有穷多条指令。计算的每一步中,根据机器所处的状态和指针所指的方格上的符号,指令可决定机器干什么事并转入什么状态。开始计算时,机器处于开始状态,然后一步步地根据指令进行计算,直到无法继续时停止。带上信息即为计算的结果。1939年图灵把图灵机概念推广为带有外部信息源的图灵机。 出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 图灵机 一种自动机。与形式语言O型语法等价,O型语法所生成的语言(或称O型语言)的识别装置。最早由英国数学家图灵(Alan Mathison Turing,1912—1954)提出。基本图灵机由一个有限控制器、一条被分成若干单元和右端无限长的输入带、一个每次注视一个带单元的带磁头组成。作为描述过程的数学模型,也被用来定义可计算性,即任何能用图灵机描述的过程都能机械地实现,任何能被自然地称为过程的进程都能由图灵机实现。图灵机加上不同的限制,即为有限自动机、线性有界自动机、后进先出自动机。 出处:语言学卷 • 应用语言学 |
随便看 |
|
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。