计算理论

✍ dations ◷ 2025-10-26 14:10:34 #计算理论

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

相关

安莫西林阿莫西林（amoxicillin），又译安莫西林或安默西林，本名羟氨苄青霉素，是一种常用的口服性广谱β-内酰胺类抗生素，具溶菌作用，主治易感微生物所引起的细菌性感染。本品为治疗中耳炎的第
工业发酵发酵工程是指采用现代工程技术手段，利用微生物的某些特定功能，为人类生产有用的产品，或直接把微生物应用于工业生产过程的一种技术。发酵工程的内容包括菌种选育、培养基的配置
0号元素无电子0主条目：0号元素的同位素0号元素（英语：Neutronium），有时又被称为中子元素（英语：Neutrium），是指原子中仅含中子，不含质子的一种元素，或纯粹只由中子组成的物质。1926年物理学家安
儿童安全座椅儿童安全座椅（英语：Child safety seat）是一种系于汽车座位上，有束缚设备，仅供小童乘坐并能在发生车祸时，束缚着小童以保障小童安全的座椅。对两岁至六岁孩童，安全肩带与安全腰带防
信号检测理论信号检测理论（signal detection theory，SDT），为心理学、数学、信息科学中是针对反应偏差问题的一种系统研究方法。1966年，由心理学家大卫·马芬·葛琳（David Marvin Green）和约翰·
米尔顿·奥博特阿波罗·米尔顿·奥博特（斯瓦希里语：Apollo Milton Obote，1924年12月28日－2005年10月10日），乌干达政治家，1962至1966年间出任该国总理，1966至1971及1980至1985年期间两度出任总统。1
法国蜗牛法国蜗牛（法语：Escargots，国际发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium
道道家系列条目道是天地万物的演化运行机制，中国哲学的信念之一。认为道决定了事物“有”或“无”、以及生物“生”或“死”的存在形式；从无到有、从有到无和周而复始的自然现
伦敦希斯洛机场希思罗机场（英语：Heathrow Airport；IATA代码：LHR；ICAO代码：EGLL），是英国首都伦敦的主要国际机场，同时是英国航空与维珍航空的枢纽机场，位于大伦敦地区西侧的希灵登区，距离伦敦市中心约2
固定齿轮自行车单速车，区分为2种 Single speed, Fixed Gear，后者又称固定齿轮自行车、“死飞车”，是一种没有飞轮的自行车，车轮与脚踏板永远处于联动状态，链轮齿与轮毂是紧紧咬合的，只要后轮旋转