计算理论

✍ dations ◷ 2025-11-24 07:07:43 #计算理论

计算理论（英语：Theory of computation）是数学的一个领域，和计算机有密切关系。其中的理论是现代密码协议、计算机设计和许多应用领域的基础。该领域主要关心三个方面的问题：这三方面的问题可以用一个问题来总括：“电脑的基础能力及限制到什么程度？”计算理论的“计算”并非指纯粹的算术运算（Calculation），而是指从已知的输入透过算法来获取一个问题的答案（Computation），因此，计算理论属于计算机科学和数学。为了对计算进行严谨的研究，计算机科学家会将计算以数学的方式抽象化，称为计算模型。有几种当前在使用的计算模型，其中最出名的是图灵机。计算机科学家研究图灵机的原因是它很容易叙述，可以分析，用来证明结果，而且用此模式呈现了许多强而有力的计算模型（引用邱奇－图灵论题）。图灵机有潜在的，数量无限的记忆能力，这似乎是不可能达到的，不过所有图灵机解决的可判定性问题都只需要有限量的记忆能力。因此理论上，任何可以用图灵机解决的（可判定性）问题都只需要有限量的记忆能力。计算理论早在所有计算机发明之前便开始了，当时是使用数理逻辑，在20世纪此理论和数学分离，成为一个独立的学科。计算理论早期的重要贡献者有阿隆佐·邱奇、库尔特·哥德尔、艾伦·图灵、斯蒂芬·科尔·克莱尼、约翰·冯·诺伊曼及克劳德·香农等。

相关

健康人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学健康是指生物的功能性和代谢效率的水
新英格兰医学杂志《新英格兰医学杂志》（英语：The New England Journal of Medicine；简称 NEJM）是由美国麻省医学协会（英语：Massachusetts Medical Society）所出版的同行评审性质之医学期刊。它也是
希腊数字希腊数字是一套使用希腊字母表示的记数系统，也称为爱奥尼亚数字、米利都数字、亚历山大数字、字母数字。在现代希腊，它们仍被使用在序数词上，并且很大程度上同西方使用罗马数字
受伤受伤或创伤，是生理创伤、损害，身体受外物力量侵害，身体功能丧失、流血、断裂、骨折等。在工作时的受伤，称为工伤；在运动时受伤，称为运动创伤，学科名为运动创伤学、运动医学，总称创伤
二硫化碳二硫化碳是一种分子式为CS2的无色有毒液体。纯的二硫化碳有类似氯仿的芳香甜味，但是通常不纯的工业品因为混有其他硫化物（如羰基硫等）而变为微黄色，并且有令人不愉快的烂萝卜味
子宫脱垂子宫脱垂是女性生殖器脱垂的一种。正常情况下，子宫由肌肉和韧带在上牵扯固定。而当韧带的拉力变弱，子宫下滑，不能保持在正常位置，则子宫脱垂便发生了。固定子宫的韧带包括圆韧带
感觉统合感觉统合（英语：Sensory integration）是指个体将自己身体和周遭环境接触的讯息，透过各种感觉系统，例如视觉、触觉、味觉、嗅觉、前庭平衡觉(vestibular sense)、筋肉关节感(propri
倪齐民倪齐民（英语：Jimmy Ni，1964年12月24日－），台湾男演员。民国96年8月25日凌晨开车行经台北市新生南路与罗斯福路口时，因未注意并行距离变换车道，涉嫌擦撞1名机车骑士，且在骑士倒地后开车
第br /七第八第十埃及第七王朝是埃及历史上的一个王朝。埃及第七王朝成立在约前2181年左右，是一个非常短暂的王朝，只维持了七十天，却有七十个法老，是埃及历史上的一个混乱的王朝，文献记载
优素福扎伊马拉拉·尤萨夫扎伊（普什图语：ملاله یوسفزۍ‎，Malālah Yūsafzay，.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","