计算理论

✍ dations ◷ 2025-12-04 02:48:52 #计算理论

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

相关

微升微升（microlitre）是容量计量单位，符号为μL，相近于体积单位λ（lambda，10−9 m3），自升而来。微升本身不是国际单位制单位，而是接受与SI合并使用的非SI单位。在生化单位及药物使用上，因
概念维持和平（英语：Peacekeeping）的活动，旨在创造有利于维持持久和平的条件。经研究发现，维和能减少战场上平民的死亡，并降低再次引发战争的风险。
抗双链DNA抗体抗双链DNA抗体（英语：Anti-dsDNA antibodies）是抗核抗体（Anti-nuclear antibody，ANA）中的一种，其靶标的抗原是双链DNA。一些血液检测如酶联免疫吸附试验（ELISA）和免疫荧光可在诊断实验
本生灯本生灯是科学实验室常用的高温加热工具之一。该工具以德国化学家罗伯特·威廉·本生的名字命名，而实际上是由他的助手彼得·迪斯德加（Peter Desaga）在1855年改良法拉第原先的一
政治化政治化，是一个人类社会中的多元问题，任何参与者基于人权，能以社会热门话题及社会问题等作切入点，向管治权力施压，以取得政府关注及回应。例如政客、政党等，会利用很多社会、经济、
赤道隆起赤道隆起（英语：Equatorial bulge）是指行星在赤道和在两极上测得的直径差，由行星在自转时产生的离心力造成，使星球形成一个扁球体而不是球体。
科尔奎特县科尔奎特县（Colquitt County）是位于美国佐治亚州南部的一个县，面积1,441平方公里，县治莫尔特里。根据2000年美国人口普查，共有人口43,955。科尔奎特县成立于1856年2月25日，县名源
克里斯蒂安·德波尔藏帕克克里斯蒂安·德波宗巴克（法语：Christian de Portzamparc，法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans
痕量胺痕量胺（英文：Trace amine）是一类与经典的生物胺（如儿茶酚胺类、血清素、组胺）结构类似的内源性物质，包括p-酪胺、β-苯乙胺、色胺、章胺和类甲腺质，存在于动物（昆虫至哺乳动物）的神经
亮氨酸拉链亮氨酸拉链（英语：leucine zipper，亦称为亮氨酸剪刀）是蛋白质中一种常见的三维结构模体，常见于许多转录因子的DNA结合结构域，因此涉及基因的表达调控。亮氨酸拉链在真核生物和原核