计算理论

✍ dations ◷ 2025-11-29 15:02:38 #计算理论

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

相关

海岸警卫队HH / MH-60 J/T Jayhawk（英语：HH-60 Jayhawk）HC-130 H/J Hercules（英语：Lockheed HC-130）HU-25 A/C GuardianVC-37A Long Range VIP Aircraft美国海岸警卫队（英语：United States Coa
StataStata是Statacorp于1985年开发出来的统计程序，在全球范围内被广泛应用于企业和学术机构中。许多使用者工作在研究领域，特别是在经济学、社会学、政治学及流行病学领域。最新的
罗马罗马（意大利语：Roma）是意大利首都及全国政治、经济、文化和交通中心，是世界著名的历史文化名城，古罗马文明的发祥地，因建城历史悠久并保存大量古迹而被昵称为“永恒之城”。其位于
剧场罗马剧场（Roman theatre）是指古罗马时期修建的半圆形剧场。罗马剧场受到了古希腊剧场的很大影响，但也有自己的特征。罗马剧场分布在从西班牙至中东的广大地区，且世界很多地方都
二级相变二级相变（Second order phase transition）为化学势的二阶偏微分发生突变的一类相变。相变时没有热效应和熵变，但热膨胀系数，压缩系数，比热容这三个化学势的二阶偏微分量发生突变
陈庆云陈庆云（1929年1月25日－），出生于湖南沅江，祖籍湖南湘乡，有机化学家，中国科学院院士，专攻有机氟化学。陈庆云于1952年毕业于北京大学化学系，1952-1956年工作于中国科学院长春光机所，19
卡摩斯卡摩斯（或卡莫斯）是底比斯十七王朝的最后一位国王，他可能是塞格嫩拉·陶和爱赫特波一世的儿子，18王朝建立者雅赫摩斯一世的亲哥哥。卡摩斯统治的时期在第二中间时期的后期，其统治
阿塞拜疆总统阿塞拜疆共和国施行总统共和制，阿塞拜疆总统是阿塞拜疆共和国的国家元首，而总理是阿塞拜疆的政府首脑。阿塞拜疆现任总统为伊利哈姆·盖达尔·奥格雷·阿利耶夫。1995年11月12
科学奇幻科学奇幻（Science fantasy）是一种兼具奇幻和科幻之间的存在。在科学奇幻的世界里，会存在太空船与机器人等高科技的事物以外，亦有魔法和超自然的要素。行星冒险小说（Planetary rom
学校体育体育（英语：Physical Education，缩写P.E.）是一项在小学、中学和大学中开展的教学活动，旨在促进参与者在身体活动的过程中获得身心全面发展。在不同国家学校体育教学的任务及目标存