计算理论

✍ dations ◷ 2025-11-16 17:07:45 #计算理论

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

相关

天花天花疫苗用以预防天花。古代民众预防天花的方法。其具体方法是把天花病患者身上的痘痂制浆（脓），以小刀拭在受种者的皮肤之下，使之产生免疫力，以预防天花。另一个方法，就是让受种者
塔纳赫《塔纳赫》（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taam
干涉干涉（interference）在物理学中，指的是两列或两列以上的波在空间中重叠时发生叠加，从而形成新波形的现象:425。例如采用分束器将一束单色光束分成两束后，再让它们在空间中的某个区
保加利亚人保加利亚人（英语：Bulgarians、保加利亚语：българи or bǎlgar）是巴尔干半岛的原始居住族群，母语是保加利亚语。保加利亚人口大约是9,000,000～10,000,000左右，分布于全世界，保
被子植物花发育被子植物花发育的ABC模型由E. Coen和E. Meyerowitz在1991年提出。这个模型是以对花器官发育有缺陷的突变体的观察为基础的。ABC模型概括了在花的不同部位中，不同类型的转录因
解脲支原体请负责验证本条目版权的维基人在标识侵权后，于Wikipedia:页面存废讨论/疑似侵权内容的部分加上： {{subst:CopyvioVFDRecord|1=解脲支原体}} 并在本条目创建者的对话页中加入：
能斯特瓦尔特·赫尔曼·能斯特（德语：Walther Hermann Nernst，1864年6月25日－1941年11月18日），德国化学家，他提出了热力学第三定律，这条定律对化学亲和力的计算尤其重要，他因此荣获1920年度
纳波莱奥内·费拉拉纳波莱奥内·费拉拉（意大利语：Napoleone Ferrara，1956年7月26日－），出生于意大利卡塔尼亚，意大利血管生成研究人员，任职于加利福尼亚州的生物技术公司基因泰克。他于1981年毕业于卡塔
三乘三乘，大乘佛教术语。“乘”即是交通工具（台湾国语读同“盛”，大陆普通话读同“城”），“三乘”是指佛教的三种交通工具，象征运载众生渡越生死到涅槃彼岸的三种法门。其根据众生的根
Oblast州（Oblast）是一种斯拉夫国家，包括一些苏联国家的行政区划单位。Oblast在中文是一个外来语，常被译为“州”。Oblast是白俄罗斯、保加利亚、哈萨克、吉尔吉斯、俄罗斯、乌克兰和