计算理论

✍ dations ◷ 2025-12-11 08:29:03 #计算理论

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

相关

裸盖菇素赛洛西宾（Psilocybin (/ˌsɪləˈsaɪbɪn/ SIL-ə-SY-bin）是由超过两百种蘑菇（合称迷幻蘑菇，其中主要是是Psilocybe属的成员，如P. azurescens ， P. semilanceata和P. cyanescens
未来可能形成的超大陆（英语：supercontinent），一般定义为拥有一个以上陆核（continental core）或克拉通的大陆。以下为地质年代中曾出现与可能形成的超大陆，依照时间顺序排列：
《四面体》《四面体》（Tetrahedron）是一本登载有关有机化学的原创研究论文的期刊。该期刊的影响因子为2.641（2014年）。该期刊上的很多篇文章都已经得到多次引用，根据Web of Science（英语：Web
琥珀酰辅酶A琥珀酰辅酶A（英语：Succinyl-Coenzyme A）是一个琥珀酸与辅酶A的组合物。它在三羧酸循环重视一个重要的中间产物，在那里它合成自α-酮戊二酸，此步骤由α-酮戊二酸脱氢酶经脱羧作用
原肠原肠（archenteron、digestive tube）是在囊胚时期经由原肠形成所完成。最后会形成动物的消化道。有些细胞向囊胚腔内折形成的过程称为内凹。这些细胞重新排列直到宽又浅的凹陷
ΨPsi（大写Ψ，小写ψ，发音：/ˈpsaɪ/或/ˈsaɪ/，中文音译：普西），是第二十三个希腊字母。西里尔字母的Ѱ (Psi)是由Psi演变而成。符号Ψ或ψ用于：
路易士·阿格西让·路易士·鲁道夫·阿格西（法语：Jean Louis Rodolphe Agassiz，1807年5月28日－1873年12月14日），19世纪瑞士裔植物学家、动物学家和地质学家，以冰川理论闻名。阿格西生于瑞士西部，分
分子进化的中性理论中性演化理论全称为分子演化的中性理论（英语：Neutral theory of molecular evolution），简称为中性理论。是日本遗传学家木村资生在1968年早期所提出的一种演化理论。这个理论认
剑线虫属见内文剑线虫属（学名：Xiphinema），又名匕首线虫属，是一种栖息于植物根部的潜移性外寄生线虫动物。本属物种会对农作物造成巨大经济损失，能影响葡萄、草莓、酒花及其他经济作物。主
国际单项体育联合会总会SportAccord国际单项体育联合会总会（Global Association of International Sports Federations，GAISF；原名为SportAccord）是一个国际性运动组织，用以沟通协调各种不同的国际运动总会。1967年