计算理论

✍ dations ◷ 2025-11-24 01:26:41 #计算理论

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

相关

浮肿水肿（edema、/ɪˈdimə/、oedema、dropsy、hydropsy；希腊语 οἴδημα oídēma, "swelling")，又称浮肿，是指人体皮下空腔因体液异常堆积所产生的肿大症状。水肿是指血管外
胆结石胆结石（英语：gallstones）是在胆囊内由胆汁化合物组成的结石。胆石症（choleliths）可以指胆囊中的结石，也可以指此一疾病。大多数胆结石患者（约80%）不曾有过症状。胆结石的患者中，有1-4
色雷斯色雷斯（希腊语：Θρᾴκη，保加利亚语：Тракия，土耳其语：Trakya）是东南欧的历史学和地理学上的概念。今天的色雷斯包括了保加利亚南部（北色雷斯）、希腊北部（西色雷斯）和土耳其的欧
淋巴器官淋巴结（lymph node）是淋巴系统的一部分（以往亦称做淋巴腺，但其并没有分泌物质的功能，故称为“腺”并不对），作用类似过滤器，内部蜂窝状的结构聚集了淋巴球，能够将病毒与细菌摧毁，当身体
阿罗马尼亚语阿罗马尼亚语，又称马其顿-罗马尼亚语、瓦拉几语，属印欧语系罗曼语族东罗曼语支，是一种主要分布在东南欧的语言，使用人口约30万。阿罗马尼亚语属广义的罗马尼亚语，与罗马尼亚语（达
郁金香狂热郁金香狂热（荷兰文：Tulpenmanie）1637年发生在荷兰，是世界上最早的泡沫经济事件。当时由奥斯曼土耳其引进的郁金香球根异常地吸引大众抢购，导致价格疯狂飙高，然而在泡沫化过后，价格
白兰地白兰地（英文：Brandy，从荷兰文Brandewijn而来，意思烧酒），为以葡萄酒加以蒸馏浓缩制成的酒。广义而言，只要是以果酒为基底，加以蒸馏制成的酒都可以称为白兰地，不过在名称前面加上相应的
臭鼬臭鼬（学名：Mephitis mephitis，美俚称：Skunk），是臭鼬科最著名的一种动物。臭鼬广泛分布在北美洲墨西哥以北的广大地区，在加拿大和美国都非常常见，甚至被当作宠物驯养。臭鼬的体毛为黑
计亮年计亮年（1934年4月20日－），配位化学及生物无机化学专家，中国科学院院士（2003年）。现任广东省化学会理事长，中山大学教授、化学与化学工程学院院长。浙江省鄞县人，1934年出生上海市，1956
肠易激综合征大肠激躁症（英语：Irritable bowel syndrome），又称为大肠躁郁症、肠躁症、躁性大肠征候群、肠易激综合征，主要为没有任何肠胃道疾病损伤下出现腹痛及排便型态改变的症状。这些症状