图灵机可计算的造句

• 图灵机可计算的    在算法计算复杂性的研究中，一个算法如果存在图灵机可计算的多项式时间计算复杂性算法，就将这个算法归入P类，如果存在非确定性图灵机可计算的多项式时间计算复杂性算法，就将其归入NP类。
• 图灵机可计算函数    部分递归函数类与图灵机可计算函数类相同。 图灵证明了图灵机可计算函数类与λ可定义函数类相同。 图灵论题说：图灵机可计算函数类与直观可计算函数类相同。 艾伦?麦席森?图灵把可计算函数定义为图灵机可计算函数，1937年，艾伦?麦席森?图灵在他的“可计算性与λ可定义性”一文中证明了图灵机可计算函数与λ可定义函数是等价的，从而拓广了丘奇论点，得出：算法(能行)可计算函数等同于一般递...
• 单带图灵机    一个单带图灵机，由一个有限控制器、一条输入带和相应的读写头组成。 将计算模型限制于单带图灵机的范围，回文识别的固有时间复杂性（最坏情形）为平方级。 如果对于任何状态-符号对,下一动作都是唯一的，这种机器称为确定型单带图灵机；如果有有穷多个（包括零个或一个的情形）可以任意选择的下一动作，且规定对于给定的输入，只要在所有可能的动作序列中有一个序列导致接受状态,机器就接受其输入,...
• 图灵机    我们说停机问题在图灵机上是 ， alan turing提出了有名的图灵机。 此后，图灵机就成为计算机的一个简练的数学模型。 对于1墨水点图灵机，确定性语言族和非确定性语言族是不相等的。 1墨水点图灵机是一个两方向图灵机，它能够用墨水点标志出输入带上的一个单元格。 为了严格地分开确定性语言族和非确定性语言族， ranjan等提出了一个稍加修改的图灵机模型，称为1墨水点1 in...
• 图灵机停机问题    图灵证明，这样的算法是不存在的，即停机问题是不可判定的，从而使之成为解决许多不可判定性问题的基础．1937年，艾伦?麦席森?图灵用他的方法解决了著名的希尔伯特判定问题：狭谓词演算(亦称一阶逻辑)公式的可满足性的判定问题．他用一阶逻辑中的公式对图灵机进行编码，再由图灵机停机问题的不可判定性推出一阶逻辑的不可判定性。
• 确定型图灵机    例如，当考虑多项式空间界限时，确定型图灵机接受的语言类PSPACE和非确定型图灵机接受的语言类NPSPACE是相同的。 确定型和非确定型图灵机接受的语言是相同的，确定型和非确定型有限自动机接受的语言也是相同的，因此可不加区分。 确定型图灵机在多项式时间内接受的语言所组成的类,记作P；非确定型图灵机在多项式时间内接受的语言所组成的类，记作NP。 复杂度类P包含所有那些可以由一...
• 通用图灵机    这些语言不必是图灵完全的（如果它具有与通用图灵机等同的计算能力换句话说，系统和通用图灵机可以相互模拟） 。
• 非确定性图灵机    Chandra kozen和stockmeyer提出了交替性alternation作为并行计算的一个理论模型。交替式alternating图灵机是非确定性图灵机的推广，它的状态集合被分为万能状态universal state和存在状态existential state 。非确定性图灵机可看作只有存在状态的交替式图灵机。
• 非确定型图灵机    例如，当考虑多项式空间界限时，确定型图灵机接受的语言类PSPACE和非确定型图灵机接受的语言类NPSPACE是相同的。 确定型和非确定型图灵机接受的语言是相同的，确定型和非确定型有限自动机接受的语言也是相同的，因此可不加区分。 确定型图灵机在多项式时间内接受的语言所组成的类,记作P；非确定型图灵机在多项式时间内接受的语言所组成的类，记作NP。
• 非确定图灵机    这种文法规定的语言可以被线性有界非确定图灵机接受。 内验证的决定问题组成，或者等效的说，那些解可以在非确定图灵机上在多项式时间内找出的问题的集合。 复杂度类P包含所有那些可以由一个确定型图灵机在多项式表达的时间内解决的问题；类NP由所有其肯定解可以在给定正确信息的多项式时间内验证的决定问题组成，或者等效的说，那些解可以在非确定图灵机上在多项式时间内找出的问题的集合。
• 储量计算剖面图    按矿体地质特点、勘探和储量计算方法，一般有储量计算剖面图、储量计算纵投影图及储量计算平面图三类。 （reserve calculating section）：采用断面法作为主要的储量计算方法时，为圈定矿体，测定矿体截面分布面积，分别标明及计算不同质量和研究程度的矿产储量等而编制的剖面图，称储量计算剖面图。
• 古建计算机制图    《古建计算机制图》是古建筑制图和古建筑测绘的配套工具书，既可作为古建筑工程设计、园林建筑设计等相关人员的计算机制图指南，又可作为高等院校古建筑类专业师生的教学参考用书。 《古建计算机制图》在总结了古建筑测绘和古建筑制图经验的基础上，以AutoCAD制图软件的使用、古建筑绘图的示例和实例、利用LISP程序编制自动绘图软件三大部分，详细地描述了计算机在古建筑中的应用过程。 《古...
• 图象计算机    PIXAR格式是专为与PIXAR图象计算机交换文件而设计的。 这些软件模块是由微软视窗(Microsoft Windows)运行的，因此把会议的准备，管理，控制都置于图象计算机环境之中。
• 图灵计算机    现任浙江大学图灵计算机系统工程公司会计主管。
• 树型图计算机    为了使一方通行进化成lv6而制定的计划，经树型图计算机计算只要杀死超电磁炮一百二十八次，一方通行就可以进化为等级6绝对能力者。 「绝对能力实验计划」是为了使一方通行进化成lv6而制定的计划，经树型图计算机计算只要杀死超电磁炮一百二十八次，一方通行就可以进化为等级6绝对能力者。
• 计算机成图技术    随着古地磁研究的进展和计算机成图技术在古地理研究中的应用，使新一代古大陆图编制出来。
• 计算机生成的全息图    CGH即Computer-GeneratedHolograms（计算机生成的全息图）。 计算机生成的全息图也可以使工程师和设计师的设计图样获得前所未有的视觉效果。
• 计算机制图    在计算机制图学中，一种有方向的线段。 浅谈计算机制图在实际工作中的应用 计算机制图.计算机制图接口 在计算机制图学中，虚空间的预先定义部分。 在计算机制图技术中，图象空间中的一种可寻址点。 信息技术.计算机制图.计算机制图参考模型 在计算机制图学中，一种使用光标回送定位器符的技术。 信息技术.计算机制图.图形核心系统 信息处理系统.计算机制图.图形核心系统 在计算机制图技术...
• 计算机制图学    在计算机制图学中，一种有方向的线段。 在计算机制图学中，虚空间的预先定义部分。 在计算机制图学中，一种使用光标回送定位器符的技术。 信息技术.计算机制图学和图象处理.多媒体目标的展示环境 信息技术.计算机制图学和图象处理.多媒体目标展示环境 信息技术.计算机制图学和图象处理.多媒体目标表示环境 信息技术.计算机制图学.用制图设备会话用接口技术 信息技术.计算机制图学和图象处...
• 计算机制图技术    在计算机制图技术中，图象空间中的一种可寻址点。 在计算机制图技术中,将显示图象的幅面按一定公因数增大。 计算机制图技术使研究人员得以对脑中大区域的adc值进行评估。 在计算机制图技术中,在显示空间上指定一个位置,用于显示一组图或正文(的方法或过程) 。 在计算机制图技术中，在显示空间上指定一个位置，用于显示一组图或正文（的方法或过程） 。 在计算机制图技术中，显示图象的全部...
• 计算机制图法    专业：计算机制图法，计算机网络，智能计算，管理信息系统，多媒体系统，平行及分布式计算，计算机安全，软件工程，系统软件。
• 计算机制图综合    航空摄影测量实习、数字摄影测量实习、数字测图技术实习、控制测量与GPS卫星定位技术实习、地形测量实习、地籍测量实习、工程测量实习、计算机制图综合实习、计算机图像处理实习、计算机程序设计综合练习、MicroStation综合练习、顶岗实习、毕业设计。
• 计算机全息图    他在天文望远镜总体设计、天文光学系统研究、计算机全息图应用研究、天文光干涉技术研究、外差分光术在天文学中应用研究等均取得较好的成果与成绩。
• 计算机再现全息图    计算机再现全息图
• 计算机产生的全息图    是由照相法得到但大多数情况都是由计算机产生的全息图。