计算理论

✍ dations ◷ 2025-12-03 01:00:02 #计算理论

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

相关

头孢呋辛酯头孢呋辛酯是一种第二代口服头孢菌素抗生素。最初由葛兰素史克公司发现，并于1987年作为Zinnat被引入。在1987年十二月28日获FDA批准通过。葛兰素史克在美国和印度分别以Ce
海底热泉海底热泉（hydrothermal vent）亦作海底热液系统（Submarine Hydrothermal System），是从海底喷出经由地热加热过的水及其裂缝喷发口。通常发现于火山活动频发、大陆板块移动的地区及
担孢子担孢子（英语：Basidiospore）是担子菌门（包括伞菌、木耳、锈菌、黑粉菌等）的真菌所产生的有性孢子（英语：Teleomorph, anamorph and holomorph）。一般来说担孢子是由特化的结构担子经由
上野公园上野公园（日语：上野公園／うえのこうえん Ueno-kōen */?），全名上野恩赐公园，是日本东京都台东区上野的一座公园，也是日本第一座公园，占地约53万平方米。全园在1873年指定为公园、1
转基因阴谋论转基因食品争议（英语：Genetically modified food controversies）是指关于食用转基因作物及其副产品、在食品生产中利用基因工程技术等方面的争议。这场争议与消费者、生物技术
铁丝网有刺铁丝网（barbed wire），是一种防御型的金属丝，身上布满尖锐的刃口，刃与刃之间亦有相同的距离。这类丝网价格低廉，用来保护墙内的财产，并是第一次世界大战里堑壕战的重要防守设备
节奏布鲁斯节奏布鲁斯（英语：rhythm and blues，简称：R&B或RnB），是一种美国非裔艺术家首先采用，并融合了爵士乐、福音音乐和布鲁斯音乐的音乐形式。这个音乐术语是由美国告示牌（Billboard）于1940
安道尔·图威安道尔·图威（英语：Endel Tulving，1927年5月26日－），生于爱沙尼亚佩特塞里（现俄罗斯），加拿大实验心理学家与神经认知学家，他对于人类记忆的研究成果，影响扩及心理学、神经学与临床医学。
FClOsub4/sub高氯酸氟是很少见的含有氯、氧元素的氟化合物，分子式为FOClO3或FClO4。它是极不稳定容易爆炸的气体，具有刺激性气味。可由氟与高氯酸反应或ClF5与水作用制得。也可由高氯酸四
商船吨位本列表以各船旗国之商船容积总吨 (GRT)及载重吨位 (DWT)为准，资料来自英国政府运输部之年度海运统计，下表资料年度为2012年。