灵机造句

• 单带图灵机    一个单带图灵机，由一个有限控制器、一条输入带和相应的读写头组成。 将计算模型限制于单带图灵机的范围，回文识别的固有时间复杂性（最坏情形）为平方级。 如果对于任何状态-符号对,下一动作都是唯一的，这种机器称为确定型单带图灵机；如果有有穷多个（包括零个或一个的情形）可以任意选择的下一动作，且规定对于给定的输入，只要在所有可能的动作序列中有一个序列导致接受状态,机器就接受其输入,...
• 啊哈,灵机一动    《啊哈,灵机一动》(中译本)是《凹世纪科普经典特藏》中的一册，而该收中主要讲的是20世纪的科学发展史。
• 图灵机    我们说停机问题在图灵机上是 ， alan turing提出了有名的图灵机。 此后，图灵机就成为计算机的一个简练的数学模型。 对于1墨水点图灵机，确定性语言族和非确定性语言族是不相等的。 1墨水点图灵机是一个两方向图灵机，它能够用墨水点标志出输入带上的一个单元格。 为了严格地分开确定性语言族和非确定性语言族， ranjan等提出了一个稍加修改的图灵机模型，称为1墨水点1 in...
• 图灵机停机问题    图灵证明，这样的算法是不存在的，即停机问题是不可判定的，从而使之成为解决许多不可判定性问题的基础．1937年，艾伦?麦席森?图灵用他的方法解决了著名的希尔伯特判定问题：狭谓词演算(亦称一阶逻辑)公式的可满足性的判定问题．他用一阶逻辑中的公式对图灵机进行编码，再由图灵机停机问题的不可判定性推出一阶逻辑的不可判定性。
• 图灵机可计算的    在算法计算复杂性的研究中，一个算法如果存在图灵机可计算的多项式时间计算复杂性算法，就将这个算法归入P类，如果存在非确定性图灵机可计算的多项式时间计算复杂性算法，就将其归入NP类。
• 图灵机可计算函数    部分递归函数类与图灵机可计算函数类相同。 图灵证明了图灵机可计算函数类与λ可定义函数类相同。 图灵论题说：图灵机可计算函数类与直观可计算函数类相同。 艾伦?麦席森?图灵把可计算函数定义为图灵机可计算函数，1937年，艾伦?麦席森?图灵在他的“可计算性与λ可定义性”一文中证明了图灵机可计算函数与λ可定义函数是等价的，从而拓广了丘奇论点，得出：算法(能行)可计算函数等同于一般递...
• 李灵机    李灵机(1950.8?)广东顺德人。 出版有《李灵机画集》。 广西书法家协会常务副主席王精、梧州书法家协会主席黄均任闻“荣艺斋”名声曾莅临“荣艺斋”检查指导并进行讲学活动，梧州市美术家协会主席李灵机欣为“荣艺斋”题写匾额。
• 灵机    她灵机一动，想出了个好办法。 肯塔克灵机一动想起了自己的手指。 她灵机一动，选定了“公共团体议案”。 要不是我灵机一动和你跳舞，我就逃脱不掉。 本丁先生也同样灵机一动，看了一下桌子底下。 这问题困惑了我几个月我才灵机一动，解决了它。 她突然灵机一动，为自己的新小说想出了一个很好的书名。 他灵机一动赶紧跑出去把雪茄、香烟、甚至那盒安全火柴锁好。 “是玛基姑母善心大发，送来了这...
• 灵机一动    她灵机一动，想出了个好办法。 肯塔克灵机一动想起了自己的手指。 她灵机一动，选定了“公共团体议案”。 要不是我灵机一动和你跳舞，我就逃脱不掉。 本丁先生也同样灵机一动，看了一下桌子底下。 这问题困惑了我几个月我才灵机一动，解决了它。 她突然灵机一动，为自己的新小说想出了一个很好的书名。 他灵机一动赶紧跑出去把雪茄、香烟、甚至那盒安全火柴锁好。 “是玛基姑母善心大发，送来了这...
• 确定型图灵机    例如，当考虑多项式空间界限时，确定型图灵机接受的语言类PSPACE和非确定型图灵机接受的语言类NPSPACE是相同的。 确定型和非确定型图灵机接受的语言是相同的，确定型和非确定型有限自动机接受的语言也是相同的，因此可不加区分。 确定型图灵机在多项式时间内接受的语言所组成的类,记作P；非确定型图灵机在多项式时间内接受的语言所组成的类，记作NP。 复杂度类P包含所有那些可以由一...
• 通用图灵机    这些语言不必是图灵完全的（如果它具有与通用图灵机等同的计算能力换句话说，系统和通用图灵机可以相互模拟） 。
• 非确定性图灵机    Chandra kozen和stockmeyer提出了交替性alternation作为并行计算的一个理论模型。交替式alternating图灵机是非确定性图灵机的推广，它的状态集合被分为万能状态universal state和存在状态existential state 。非确定性图灵机可看作只有存在状态的交替式图灵机。
• 非确定型图灵机    例如，当考虑多项式空间界限时，确定型图灵机接受的语言类PSPACE和非确定型图灵机接受的语言类NPSPACE是相同的。 确定型和非确定型图灵机接受的语言是相同的，确定型和非确定型有限自动机接受的语言也是相同的，因此可不加区分。 确定型图灵机在多项式时间内接受的语言所组成的类,记作P；非确定型图灵机在多项式时间内接受的语言所组成的类，记作NP。
• 非确定图灵机    这种文法规定的语言可以被线性有界非确定图灵机接受。 内验证的决定问题组成，或者等效的说，那些解可以在非确定图灵机上在多项式时间内找出的问题的集合。 复杂度类P包含所有那些可以由一个确定型图灵机在多项式表达的时间内解决的问题；类NP由所有其肯定解可以在给定正确信息的多项式时间内验证的决定问题组成，或者等效的说，那些解可以在非确定图灵机上在多项式时间内找出的问题的集合。