计算理论

✍ dations ◷ 2025-11-23 01:12:49 #计算理论

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

相关

厌氧生物厌氧生物，或称厌气生物，是指一种不需要氧气生长的生物。它们大致上可以分为三种，即专性厌氧生物、兼性厌氧生物及耐氧厌氧生物。人体内的厌氧生物多存在于消化系统中，有些种类
有胚植物有胚植物，又称为高等植物，是那些最熟悉的植物，包括苔藓植物门、地钱纲、角苔纲、蕨类、石松、裸子植物、开花植物等，但不包括绿藻。有胚植物都是具有专门的生殖器官的复杂多细胞
密西西比河密西西比河（英语：Mississippi River），位于北美洲中南部，是北美最大的水系，流域面积约为300万平方千米。它也是北美最长的河流，源头在美国明尼苏达州西北部海拔446米的艾塔斯卡湖（英
病例对照研究病例对照研究是流行病学的其中一种研究设计。它是一种较廉宜及惯常使用的流行病学研究，只需少数的研究人员（甚至只是一个）及单一的设备，且不涉及有结构的试验。它的方法是指向一
拉丁-法利希语支拉丁-法利希语支是印欧语系意大利语族的一个分支，包括拉丁语和法利希语。这些语言在意大利和拉齐奥地区使用，之后拉丁语成为罗马帝国的唯一通用语言。法利希语的使用者逐渐减
卡米洛·奔索，加富尔伯爵卡米洛·奔索，加富尔伯爵（意大利语：Camillo Benso Conte di Cavour，1810年8月10日－1861年6月6日）是意大利政治家，意大利统一运动的领导人物。曾留学过英国，也于后来成立的意大利王国
调控序列调控序列（英语：Regulatory sequence，又译调节序列）是生物体内可以促进或抑制基因表达的核酸片段。调控序列可以是DNA中一段包含启动子、增强子、沉默子，以及一些调节蛋白（如转录因
楚辞楚辞，有时也被称为骚体、楚辞体，是以屈原为代表的战国楚国诗人所创作的一种文体。西汉时刘向将屈原、宋玉等人的作品编辑成集并命名为《楚辞》，楚辞又成为一部诗歌总集的名称。
卡尔顿·费斯克卡尔顿·欧尼斯特·费斯克（Carlton Ernest Fisk，1947年12月26日－，出生于佛蒙特州柏罗佛斯）曾经是美国职棒大联盟的捕手，球员时期效力过波士顿红袜和芝加哥白袜，并在2000年以79.6%的
cancerCancer可以指：