计算理论

✍ dations ◷ 2025-11-30 03:15:37 #计算理论

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

相关

敲除基因敲除（英语：gene knock-out，缩写为KO）是一种遗传工程技术。是指利用外源的已突变的基因通过同源重组的方法替换掉内源的正常同源基因，从而使内源基因失活而表现突变体的性状的
两性霉素B两性霉素B（英语：Amphotericin B，商品名：Fungizone），一种具有抑菌或杀菌作用的抗霉菌剂。对新生隐球菌、白色念珠菌、组织胞浆菌、球孢子菌、酿母菌均具抑制作用。其所产生的药效端
毛利语毛利语（毛利语：Māori，聆听，也被称为te reo，“语言”之意）是新西兰原住民毛利人的语言、也是新西兰的三种官方语言之一，另两种是英语和手语。毛利人从太平洋诸岛来到新西兰之后、
龍龙部，为汉字索引中的部首之一，康熙字典214个部首中的第二百一十二个（十六划的则为第一个）。就正体中文中，龙部归于十六划部首，而简体中文则归在五划。龙部通常从左、上、下方为部
次黄嘌呤次黄嘌呤（英语：Hypoxanthine）也称“6-羟基嘌呤”，是一种天然存在的嘌呤衍生物。它的核苷酸肌苷酸是核酸的嘌呤核苷酸的合成前体。黄嘌呤是次黄嘌呤被黄嘌呤氧化酶氧化的产物之一
康塔尔省康塔尔省（法文：Cantal）是法国奥弗涅-隆-阿尔卑斯大区所辖的省份。该省编号为15。康塔尔省得名于康塔尔山脉。康塔尔省与多姆山省、上卢瓦尔省、阿韦龙省、洛特省、洛泽尔省、科
堪察加边疆区堪察加边疆区（俄语：Камчатский край，罗马化：Kamchatsky krai）是俄罗斯一个联邦主体，成立于2007年7月1日。2003年10月25日公民投票决定，原来堪察加州与科里亚克自治区
植物生理障碍植物生理障碍是由光线不良、天气不良、水分测量、植物毒素化合物或缺乏营养物质等非病理条件引起的，影响植物系统的功能。生理障碍与病原体如病毒或真菌引起的植物病害区分开
孝道四配颜回 · 孟子 · 曾参 · 孔伋日本藤原惺窝 · 林罗山 · 室鸠巢新井白石 · 雨森芳洲朝鲜薛聪 · 权近 · 吉再 · 安珦 · 李穑李滉 · 王仁 · 李齐贤
印度最多人口的城市本表所列为印度人口接近百万或百万以上的主要城市，城市汉译名源自中国行政区划/外国行政区划/印度定义:印度共计有8个“特大城市”及46个“百万人以上城市”。粗体表示为印度