计算理论

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

相关

  • 鼻咽癌鼻咽癌(NPC, Nasopharyngeal Carcinoma)是一种发生于鼻咽腔或上咽喉部的癌症。在世界的某些地区,例如东南亚和非洲,患此病的人比其他地方多,过去认为是主要是膳食的影响,目前倾向
  • 矿物杂酚油矿物杂酚油(英文:Coal tar creosote 或 Creosote oil),或工业用杂酚油,是一种从煤焦油或其他矿物油中蒸馏而成的液体。需要注意的是,尽管本品有时被称为杂酚油或木馏油,它和前两者
  • 低血镁低血镁症(Hypomagnaesemia)是描述血液中的镁离子含量低于正常值的现象。正常人体内的血镁约介于 1.7–2.2 mg/dL 之间,如果血镁值低于 1.7 mg/dL(0.7 mmol/L)就是低血镁症。症
  • 三硝基甲苯2,4,6-三硝基甲苯(英文:Trinitrotoluene,缩写:TNT)常见炸药之一,至今仍大量应用在军事和工业领域上。它的IUPAC命名是2-甲基-1,3,5-三硝基苯(2-methyl-1,3,5-trinitrobenzene),由甲苯
  • 二氧化氯二氧化氯是黄绿色的气体,是氯的最稳定的氧化物,也是唯一大量生产的卤氧化物。二氧化氯在其液态时稳定,但若和一些特定物质接触,也有爆炸的可能。 它在约−59°C 时凝结成亮橙色
  • 乌羽玉乌羽玉(学名:Lophophora williamsii),又称作威廉斯氏仙人球,俗称无刺的仙人掌,是一种细小及无刺的仙人掌。它们原产于美国德克萨斯州西南部至墨西哥,主要在奇瓦瓦沙漠、塔毛利帕斯
  • 美国人口历史作为一个殖民地,英属北美的各个省份通常较早的发展城市。在1880年到1900年间,美国的城市人口比率从28%上升到40%,1920年达到50%,部分是由于欧洲移民的缘故。在1890年后,美国的农
  • 价电子在化学中,价电子(英语:Valence Electron,又名最外电子层),是表示原子最外电子层的电子,或者原子所拥有的价的电子。价电子在决定一元素如何与其他元素进行化学反应时起了重要作用:原
  • 阿弥陀经《佛说阿弥陀经》(梵:Sukhāvatī-vyūha)或称《小无量寿经》、《称赞净土佛摄受经》,大乘佛教经典之一,为净土宗所尊崇,被列为净土三经之一。此经为佛经中极少数非由佛陀弟子提问
  • 加成加成反应(addition reaction)是一种有机化学反应,它发生在有双键或叁键的物质中。加成反应进行后,重键打开,原来重键两端的原子各连接上一个新的基团。加成反应一般是两分子反应