计算理论

✍ dations ◷ 2025-12-08 06:01:04 #计算理论

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

相关

太古宙太古宙（英语：Archean）是地质年代中的一个宙。太古宙起始于约40亿年前内太阳系后期重轰炸期的结束（由对月岩的同位素定年确定），地球岩石开始稳定存在并可以保留到现在，而结束于25
迷幻药物迷幻药物是指主要功效为改变认知与知觉的精神药品，与游离药品（dissociatives）、致谵妄药三者因能诱发幻觉而包含在致幻剂这一门类下。相较兴奋剂或鸦片类药物等影响意识状态效
意大利国家足球队意大利国家足球队（意大利语：Nazionale di calcio dell'Italia）是最成功的国家足球队之一，曾赢得四届世界杯冠军，只比巴西少一次。其传统球衣是蓝衫白裤蓝袜，因此其绰号是“Azzurri
东俄勒冈大学东俄勒冈大学是美国俄勒冈州的一所公立大学，1929年设立。学生约4千人。旧名东俄勒冈州立大学。
兰氏结兰氏结（英语：Nodes of Ranvier）又名郎氏结，郎飞氏结。是神经元的一部分，以首位描述该结构的法国科学家兰维尔（Louis-Antoine Ranvier）为名。神经元的髓鞘包覆着轴突，兰氏结是神经元
菲巴斯·利文菲巴斯·阿龙·西奥多·利文（Phoebus Aaron Theodore Levene，1869年2月25日－1940年9月6日）是一位出生于俄罗斯帝国扎加雷（现立陶宛）的美国生物化学家，首先分析出DNA含有的四种碱基
HaskellHaskell（发音为/ˈhæskəl/）是一种标准化的，通用的纯函数编程语言，有非限定性语义和强静态类型。它的命名源自美国逻辑学家哈斯凯尔·加里，他在数理逻辑方面上的工作使得函数式
International Agency for Research on Cancer国际癌症研究机构（英语：International Agency for Research on Cancer，简称IARC）是世界卫生组织下属的一个跨政府机构，办公地点设在法国的里昂。该机构的主要任务是进行和促进对
Pancreatic stellate cell胰腺星形细胞（Pancreatic stellate cells（PaSC/PSC））是一种肌成纤维细胞（英语：myofibroblast）样的细胞。和肝星形细胞相同，胰腺星形细胞也分为静息态和激活态两种状态。胰腺星形细胞
狄尔斯-阿尔德反应狄尔斯–阿尔德反应（英语：Diels–Alder reaction）又叫Diels–Alder反应、双烯加成反应，其中狄尔斯又译作第尔斯–阿尔德又译作阿德尔、阿德耳。狄尔斯–阿尔德反应是一种有机反