计算理论

✍ dations ◷ 2025-12-06 02:47:07 #计算理论

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

相关

纤维素酶纤维素酶是酶的一种，在分解纤维素时起生物催化作用。纤维素酶广泛存在于自然界的生物体中。细菌、真菌、动物体内等都能产生纤维素酶。一般用于生产的纤维素酶来自于真菌，比较
多多纳多多纳（多立克希腊语Δωδώνα, 爱奥尼亚希腊语：Δωδώνη, Dòdònè）是位于希腊西北部伊庇鲁斯的一个神谕处。虽然多多纳最早的铭文历史只能追溯至约公元前550-560年，但
国际刑警组织国际刑警组织（英语：International Criminal Police Organization，通称：INTERPOL，缩写：ICPO）于1923年成立，为联合国以外，世界上规模第二大的国际组织，共有194个成员国，每年预算逾1亿欧元
上莱茵省上莱茵省（Haut-Rhin；Owerèlsass）是法国的第68省。上莱茵省是法国大革命期间，根据1789年12月22日的法律和1790年1月8日的条例，于1790年3月4日建立的。它北与下莱茵省，西与孚日省，以
法国国庆日巴士底日，又称法国国庆日（法语：Fête nationale française），定于每年的7月14日，以纪念在1789年7月14日巴黎群众攻克了象征封建统治的巴士底狱，从而揭开法国大革命序幕。1789年7月1
蒙帕纳斯大楼蒙帕纳斯大楼是法国首都巴黎市中心唯一的摩天大楼，在1973年完工，高210米（689呎），有59层楼。启用时为欧洲第一高楼，现在是全法国最高、以及欧盟国家之中第九高的摩天大楼。大楼建于
托斯登·威塞尔托斯坦·尼尔斯·威泽尔（瑞典语：Torsten Nils Wiesel，1924年6月3日－），瑞典神经科学家，与大卫·休伯尔（David H. Hubel）由于对视觉系统的讯息处理过程之研究，而和研究左右脑半球的罗杰
太乙天尊太乙救苦天尊，通称东极青华上帝，简称太乙天尊、救苦天尊、青玄上帝，是道教尊神，又称寻声救苦天尊、十方救苦天尊等，道教经典记太乙天尊居“东方长乐世界”妙严宫（“严”或作“岩”
军伕军夫或者军伕可以指：
冠姓冠姓是指因出生，婚姻，收养等法律程序而产生授与姓氏或增加姓氏的人类行为。一般来说，是种权力象征。冠姓来源虔信自文字历史开始。种类则约有授与和增加两种方式。有些国家的配