计算理论

✍ dations ◷ 2025-12-06 09:00:29 #计算理论

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

相关

石炭纪石炭纪（英语：Carboniferous，符号C）是地球历史中的一个地质时代。早在1822年石炭纪在英国就已经被看作是一个地质时代中的纪了。石炭纪的名字来自于石炭纪时期在全世界各地形成的
异营异营生物（英语：heterotroph）指不能直接以无机物或有机物，必须摄取现成的养分来维持生存机能的生物。异营生物包括捕食、寄生和腐生三种。异营性动物细胞需要的物质为水和矿物质
生物技术生物技术（英语：biotechnology），又称为生物科技，指利用生物体（含动物，植物及微生物的细胞）来生产有用的物质或改进制程，改良生物的特性，以降低成本及创新物种的科学技术。根据不同的工
传染性单核细胞增多症传染性单核白血球增多症（英语：Infectious mononucleosis，缩写“IM”，别名mono、glandular fever、Pfeiffer's disease、Filatov's disease）是一种由EB病毒造成的传染病。大部分人
颤搐肌肉颤搐（英语：Myokymia），也作肌纤维颤搐、肌颤搐，是一种不自主的、自发性的局部肌肉或肌肉群抖动现象。和痉挛不同的是，肌肉的颤搐现象所产生的力并不足以使关节移动。颤搐经常会
筋膜筋膜是贯穿身体的一层致密结缔组织，它包绕着肌肉、肌群、血管、神经。筋膜分好几层，分别叫浅筋膜、深筋膜、内脏筋膜，它们延绵不断贯穿身体上下。筋膜是致密结缔组织，其内含紧密
共和党革命共和党革命，是指美国的共和党在1994年中期选举中，在参议院多数党领袖纽特·金瑞契的领导的共和党革命下，成功重夺美国国会众议院及参议院控制权，终结民主党对国会长达40年的控制
爱尔兰海爱尔兰海（英语：Irish Sea、爱尔兰语：Muir Éireann ）位于英国不列颠岛和爱尔兰岛之间；它南端的圣乔治海峡处于爱尔兰和威尔士之间，北端的北海海峡处于爱尔兰和苏格兰之间，两者都与
热导管热导管，或称热管，是一种具有快速均温特性的特殊材料，其中空的金属管体，使其具有质轻的特点，而其快速均温的特性，则使其具有优异的热超导性能；热管的运用范围相当广泛，最早期运用于航
2nd黄体制剂（英语：Progestin）是一种合成的孕激素，与孕酮有类似效果。Progestin的两种最重要用途为激素避孕（英语：Hormonal contraception）（独立或与雌激素一同使用）以及作为激素替代疗法