计算理论

✍ dations ◷ 2025-09-11 14:00:37 #计算理论

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

相关

黏液层黏液层（slime layer）为一种细菌的特殊构造，它是围绕细菌细胞的一层很容易除去（比如通过离心的方法），而且无规则的物质。黏液层的主要化学成分为外多糖、糖蛋白，以及糖脂。值得注意
氢化可的松皮质醇（法语：cortisol），又译成可的松（音译），属于肾上腺分泌的肾上腺皮质激素之中的糖皮质激素，在应付压力中扮演重要角色，故又被称为“压力荷尔蒙”。皮质醇会提高血压、血糖水平和产
沃尔顿·李拉海克拉伦斯·沃尔顿·“沃尔特”·李拉海（英语：Clarence Walton "Walt" Lillehei，1918年10月23日－1999年7月5日），美国外科医生，心内直视手术的先驱开创者之一，被称作“心内直视手术之
资讯信息（英语：Information），又称情报，是一个严谨的科学术语，其定义不统一，是由它的极端复杂性决定的，获取信息的主要方法为六何法。信息的表现形式多不胜数：声音、图片、温度、体积、颜
含水量含水量（又称水分含量，含湿量）是指某材料中水的多少，该材料可能是指土壤、岩石、陶瓷亦或水果、木头等等。含水量在诸多科技领域中均有广泛应用，它一般用比值来表示，其大小可以从零
卡西米尔·冯克卡西米尔·冯克（波兰语：Kazimierz Funk注，1884年2月23日－1967年1月19日），波兰生物化学家。他的主要贡献是在1912年明确阐述了维生素的概念。卡西米尔·冯克1884年出生于波兰华沙，父
里士满县里奇蒙县（Richmond County, Georgia）是美国乔治亚州东北部的一个县，北邻南卡罗莱纳州。面积851平方公里。根据美国2000年人口普查，共有人口199,775人，2005年人口195,796人。1996
石油巨头石油巨头（英语：big oil）一般指世界上资本或企业规模巨大的石油集团公司，而最大的五至六家石油集团公司，亦被称为“石油超级巨头”（英语：supermajor或super major），包括英国石油公司、
安特利－比克斯勒症候群安特利－比克斯勒症候群是一种明显的骨骼及软骨发育不正常或异常融合，从而产生一连串颅骨缺损与畸形。其发生率因发生数量过少而难以统计。遗传方面，其遗传方式为体染色体隐性遗
施瓦本汝拉山坐标：48°18′N 9°21′E / 48.3°N 9.35°E / 48.3; 9.35施瓦本汝拉山（德语：Schwäbische Alb、Schwäbischer Jura 或 Schwabenalb；英语：Swabian Jura；法语：Jura souabe）是德国的