计算理论

✍ dations ◷ 2025-11-09 15:22:46 #计算理论

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

相关

全民健康保险全民健康保险，一般简称为“全民健保”或“健保”，是一种强制性保险的福利政策，法源是依据《中华民国宪法增修条文》所实施的全民医疗保险制度。为增进全体国民健康，中华民国于19
牛津辞典《牛津英语词典》（英语：Oxford English Dictionary，OED）是由牛津大学出版社出版的20卷词典，截至2005年11月30日，该词典收录了301,100主词汇，字母数目达3亿5千万个。词典亦收录了157
勒克斯勒克斯（Lux，通常简写为lx）是一个标识照度的国际单位制单位，1流明每平方米面积，就是1勒克斯。其单位换算是1勒克斯 = 1 流明/平方米 = 1 坎德拉·球面度/平方米（1 lx = 1 lm/m2= 1
欧盟委员会欧洲联盟委员会（英语：European Commission；法语：Commission européenne；德语：Europäische Kommission；意大利语：Commissione Europea），简称欧盟委员会，是欧洲联盟下辖的一个超国家机
唐人唐人为华人的称呼之一，常被用来称呼汉族。“唐人”一词源自唐朝，原指唐帝国的属民。明朝之后，得知国外有称中国为唐人的异称，于是出现海外移民称唐人的现象“华人”取代了“唐人
span class=nowrapTlsub2/subSOsub4/sub/span&g硫酸亚铊是铊(I)的硫酸盐，化学式为Tl2SO4，无臭无味，具有很高的毒性，曾被广泛用作杀鼠剂和杀虫剂，美国已于1972年起禁用，其他国家也陆续禁用。硫酸亚铊和K2SO4具有相同的结构。
同妻同妻即男同性恋者的妻子，女同性恋者的丈夫则称为同夫。其中大部分同妻/同夫是异性恋者，另有一部分是同性恋者，同妻/同夫通常指代前者。中国大陆绝大部分男同性恋者选择与异性结
激光焊接激光焊是一种以聚焦的激光束作为能源轰击焊件所产生的热量进行焊接的方法。由于激光具有折射、聚焦等光学性质，使得激光焊非常适合于微型零件和可达性很差的部位的焊接。激光
尼古拉·拉维奥罗夫尼古拉·帕夫洛维奇·拉维奥罗夫（俄语：Николай Павлович Лавёров，1930年1月12日－2016年12月27日），苏联及俄罗斯地质学家、地球化学家。苏联部长会议副主席
咖啡树见内文咖啡属（学名：Coffea）是龙胆目茜草科的一属，原产于非洲，有许多变种。每一变种都同特定的气候条件和海拔高度有关。野生咖啡树是常绿灌木，高3米至3.5米，分支上有白色小花，具有茉