计算理论

✍ dations ◷ 2025-11-28 19:35:50 #计算理论

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

相关

亚种亚种（subspecies）是指虽属同一物种但种内彼此占据地理分布或宿主互不重叠且生殖隔离不完善，彼此具有一定形态差异的生物类群。亚种名与种加词相同的亚种被称为指名亚种，亦称原名
活性氧活性氧类（英语：Reactive oxygen species，ROS），是生物有氧代谢过程中的一种副产品，包括氧离子、过氧化物和含氧自由基等。这些粒子相当微小，由于存在未配对的自由电子，而十分活跃。过
麻沸散麻沸散是中国古代发明用于外科手术的麻醉药，由华陀创制，是中国最早的麻醉剂。公元2世纪中国已使用麻沸散为患者全身麻痹做开腹手术。据《后汉书·华佗传》载：“若疾发结于内，针
企划企划，又称策划、计划，是一个由个人、多人、组织团体、甚至是企业为了完成某个策略性目标而必经的首要程序。包括从构思目标、分析现况、归纳方向、评估可行性，一直到拟订策略、
上海交通大学医学院上海交通大学医学院（原名上海第二医科大学）位于中国上海市市中心的重庆南路，是中国最为著名、最顶尖的国立医科院校之一，也是中国历史最为悠久的医科院校之一。其前身是圣约翰大
原子分子与光物理学原子分子与光物理学是研究物质之间，或光与物质的相互作用，其研究尺度约一至数个原子，能量尺度约几个电子伏特。这三个物理学的领域研究通常是紧密关联的。原子分子与光物理
齿音齿音（或舌尖前音、舌齿音）是舌尖音的一种。发音时，舌尖接触上门牙。若发音时舌尖在上门牙和下门牙之间则又称为齿间音（Interdental）。齿擦音（国际音标为θ和ð）出现在英语、冰岛语
氯苯氯苯是苯的一个氢被氯原子取代后形成的化合物，分子式为C6H5Cl，室温下为无色易燃的液体。氯苯用于生产杀虫剂，与三氯乙醛反应得到DDT，也可作为制取苯酚、硝基氯苯、二苯醚的原料，
地基地基是指建筑物下面支承基础的土体或岩体。作为建筑地基的土层分为岩石、碎石土、砂土、粉土、黏性土和人工填土。当土层的地质状况较好，承载力较强时可以采用天然地基；而在地
康拉德·布洛赫康拉德·布洛赫（Konrad Emil Bloch，1912年1月21日－2000年10月15日），德国生物化学家，1936年加入美国国籍，1964年诺贝尔生理学或医学奖得主。布洛赫出生于西里西亚尼斯，1930年至1934年