图灵机

图灵机 正文　　英国数学家A.M.图灵提出的一种抽象计算模型，用来精确定义可计算函数。图灵机由一个控制器、一条可无限延伸的带子和一个在带子上左...可计算的函数。图灵机作为计算机的理论模型，在有关计算理论和计算复杂...

所属分类： 图灵机 数学术语 计算机术语 计算机系统

多带图灵机模型

多带图灵机模型 正文　　计算复杂性理论中常用的一种计算模型，它是简单图灵机的一种推广。多带图灵机由一个有穷控制器、一条输入带、一条输出带和...图灵机就是从上面两个条件到三个动作的一个具体规定。这个规定就是图灵机的程序...

图灵可识别语言

是一台图灵机，若在输入串 ω 上 M 运行后可进入接受状态并停机，则称... M 的语言，记作 L(M)。设S是一个语言，若存在图灵机 M 使得 L(M) = S，则称图灵机 M 识别 S，且 S 称为图灵可识别语言...

艾伦·麦席森·图灵

剑桥大学国王学院的计算机房现在以图灵为名 1）可计算性理论与图灵机　...”后来被人们称为“图灵机”。 图灵在他的重要论文《论可计算数及其在判定问...算的限制的结果作了重新论述，他用现在叫做图灵机的简单形式装置代替了哥德尔...

所属分类： 人工智能 科学人物 科学家

无限自动机论

单带单头图灵机，它的外部环境可看作是一条可向一边或两边延伸的、分成格子...一个程序。例如作为图灵机的一种变型提出来的 B机器。它是一个程序，指令... 　模拟指通过简单的编码在一个自动机上实现另一个自动机的功能。图灵机和许多其他...

非确定性

。 　　一个单带图灵机，由一个有限控制器、一条输入带和相应的读写头组成。图灵机...，图灵机的下一动作可能是唯一确定的，也可能有有穷多个动作可供选择。如果对于任何状态-符号对,下一动作都是唯一的，这种机器称为确定型单带图灵机；如果...

柴汀常数

介绍 柴汀常数 Ω是给出一台“通用图灵机”（对一套任意指令）停机概率的无理数。Ω的各位小数是随机的，在图灵机停机柴汀常数之前是无法计算的。 相关条目 （所谓图灵机是指一台理想计算机，它拥有书写与抹去...

乔姆斯基谱系

制文法或短语结构文法）包括所有的文法。该类型的文法能够产生所有可被图灵机识别的语言。可被图灵机识别的语言是指能够使图灵机停机的字串，这类语言又被称为...子集，是能够被一个总停机的图灵机判定的语言。 1-型文法（上下文相关文法...

所属分类： 计算机 计算机术语

可计算性理论

机的概念（后人把图灵提出的抽象计算机称为图灵机），并且证明了这些数学模型...性）。为了精确刻划算法的特征，人们建立了各种各样的数学模型。 　　图灵机...的,用于精确描述算法的特征。可用一个图灵机来计算其值的函数是可计算函数...

所属分类： 计算机 计算机术语

计算理论

模型的问题，借以解决每个问题是否都有解。通用图灵机影响了计算机的设计思想...的各个领域，程序存储式计算模型就是以图灵机为基础产生的，程序设计中则使用...

所属分类： 计算数学

搜索图灵机相关的维吧

1[2][3][4][5]下一页最后一页