计算理论

✍ dations ◷ 2025-08-21 14:50:32 #计算理论

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

相关

栉水母门栉水母（Ctenophores），又名海胡桃，是一类两胚层动物，属辐射对称动物，现被划分为栉水母动物门（学名：Ctenophora），又名有栉动物门、栉板动物门。原和刺丝胞动物一起分在腔肠动物门，作为无
库蚊库蚊（Culex）, 别称库蚊, 是蚊科的一个属，种类包括了尖音库蚊(Culex pipiens)、致倦库蚊(Culex quinquefasciatus) 、三带喙库蚊(Culex tritaeniorhynchus)、三斑库蚊、环状库蚊
息税前利润税前息前利润（英语：Earnings Before Interest, Taxes，简称EBIT，也译作除税及利息前盈利），简称息税前利润，是一家公司在利息和税前的盈利收入。
疟疾地图计划疟疾地图计划（The Malaria Atlas Project，简称MAP）为由英国惠康基金会支持的非营利计划。计划由肯尼亚内罗毕地理医学中心的疟疾公卫流行病学组（Malaria Public Health and Epid
维托里奥·埃马努埃莱二世维托里奥·埃马努埃莱二世（意大利语：Vittorio Emanuele II，或译作维克多·伊曼纽二世）（1820年3月14日－1878年1月9日）萨丁尼亚-皮埃蒙特国王（1849年～1861年在位），意大利统一后的第一个国
五彩冠龙五彩冠龙（学名：Guanlong wucaii）是暴龙超科下的一种恐龙，属于原角鼻龙科，是其已知最早的暴龙类恐龙之一，生活于1亿6000万年前侏罗纪晚期牛津阶，比它著名的亲属暴龙要早9千2百万年。
白头雕Falco leucocephalus Linnaeus, 1766白头海雕（学名：Haliaeetus leucocephalus；英语：Bald eagle），成年海雕体长可达1米，翼展2米多长。是北美洲的一种猛禽。这种海雕有两个亚种，与白尾
统计法机器翻译统计机器翻译（英语：Statistical Machine Translation，简写为SMT）是机器翻译的一种，也是当前非限定领域机器翻译中性能较佳的一种方法。统计机器翻译的基本思想是通过对大量的平行
北爱尔兰英镑纸币北爱尔兰于1929年开始发行英镑纸币。虽然北爱尔兰英镑纸币是法定货币，但在技术上，北爱尔兰英镑纸币在英国各地（包括北爱尔兰）都不得法偿。但英国各地商家仍普遍接受使用北爱尔
恋女内裤恋女内裤又称女内裤迷恋（英文：Panty Fetishism）是一种对女性内裤有特殊迷恋的恋物行为，包括在印刷品或者电子媒体上出现的女性内裤图像。这些女性内裤通常是由柔软的材料制成。