计算理论

✍ dations ◷ 2025-12-05 13:41:03 #计算理论

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

相关

喀拉拉邦喀拉拉邦（马拉雅拉姆语：കേരളം，印地语：केरल，拉丁字母转写：Kerala），印度西南部的一个邦，濒临阿拉伯海，全邦面积为3.8万多平方公里，人口3184多万。首府为特里凡得琅，官方语言为马
46Brodmann 46区（简称BA46）是大脑皮质的额叶的一个细胞结构分区。BA46在后侧毗邻Brodmann 45区，在前侧毗邻Brodmann 10区。它的背侧与Brodmann 9区相邻。在人类，其位置大约包括额
罗马大学罗马大学（意大利语：Sapienza - Università di Roma），也译罗马智慧大学，亦称罗马第一大学或罗马一大，是意大利罗马市的一所著名大学。罗马大学为全欧洲学生注册人数最多的大学（若包
轮藻纲轮藻纲（Charophyceae）是绿藻中的一个分类，但它的分类地位仍有争议。有些植物学家认为可以将轮藻门和绿藻门纳入植物界中，但有些植物学家认为轮藻纲被编入绿藻门、链形植物门，或是
塞缪尔·古德斯米特塞缪尔·亚伯拉罕·古德斯米特（英语：Samuel Abraham Goudsmit，1902年7月11日－1978年12月4日），荷兰-美国物理学家，他和乔治·乌伦贝克于1925年提出了电子自旋概念。1935年至1966年间
加拿大威士忌加拿大威士忌（Canadian Whisky），是一种只在加拿大制造的清淡威士忌。原料上，虽然加拿大威士忌常常被认为是一种用裸麦（黑麦）制造的威士忌，但实际上加拿大威士忌是不折不扣的谷物威
搜狗百科搜狗百科（原“搜搜百科”）为腾讯旗下搜索网站搜搜（SOSO）发布的一个由用户参与编辑的在线百科全书，正式上线于2009年3月30日，2014年3月24日正式更名为搜狗百科。截止2012年7月1日为
埃米略·门德斯·佩雷斯埃米略·门德斯·佩雷斯（西班牙语：Emilio Méndez Pérez，1949年5月22日－）是西班牙物理学家。门德斯于1934年6月15日出生在西班牙加泰罗尼亚莱里达。毕业于马德里康普顿斯大学，后
前维生素D3前维生素D3（英语：Previtamin D3）是胆钙化醇（维生素D3）合成的中间产物，由皮肤表皮中的7-脱氢胆固醇在紫外线（主要是295nm - 300nm 的UV-B）照射下开环生成。医学导航：营养学辅助、代谢
2-乙基-1-丁醇2-乙基-1-丁醇（英语：2-Ethyl-1-butanol，IUPAC名：2-ethylbutan-1-ol）是一种有机化合物，它可以与乙醇形成共沸物来使其与水分离。2-乙基-1-丁醇的工业合成起始于乙醛和丁醛发生羟醛