计算理论

✍ dations ◷ 2025-06-07 11:01:41 #计算理论

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

相关

肺炎双球菌肺炎链球菌（学名：Streptococcus pneumoniae）是一种球状的革兰氏阳性菌，持有α溶血性，链球菌属下的一种菌。肺炎链球菌于1880年代已被发现能引致肺炎，是一种重要的人类病因，亦是体液
蔗糖蔗糖是一种双糖（葡萄糖+果糖），晶体白色，具有旋光性，但无变旋。易被酸水解，水解后产生等量的D-葡萄糖和D-果糖。不具还原性。发酵形成的焦糖可以用作酱油的增色剂。蔗糖是光合作用
最高人民会议执政党（607）：参政党（72）：无党派（8）：朝鲜民主主义人民共和国主题最高人民会议（朝鲜语：최고인민회의／最高人民會議），是朝鲜民主主义人民共和国宪法规定的最高权力机关。最高人民会议代表经朝
重力重力（英语：gravitation/gravity），是指具有质量的物体之间相互吸引的作用，也是物体重量的来源。引力与电磁力、弱相互作用力及强相互作用力一起构成自然界的四大基本相互作用。在
豌豆豌豆（学名：Pisum sativum）为豆科豌豆属一年生或二年生攀缘草本植物，是重要的粮食和蔬菜，别称胡豆、麦豆、寒豆、小寒豆、淮豆、麻豆、青小豆、青斑豆、留豆、金豆、回回豆、麦豌
体外受精体外受精（英语：External fertilization）是一种精子与卵子在雌性生物体外结合产生配子的一种受精方式。在这种受精形式下，精子可利用在水中运动的能力，游向卵子并与其结合。以此方
可萨人可萨人，也译作卡扎人、哈扎尔人，常指一西突厥的属部落，他们的汗国是中世纪初期最大的汗国。最早见于《隋书·北狄传》，《旧唐书·西戎传》和《新唐书·西域传下》称其为“突厥可
陈晓非陈晓非（1958年2月－），辽宁本溪人，地球物理学家。1982年取得中国科学技术大学地球物理专业学士学位。1985年取得中国地震局地球物理研究所硕士学位。1991年取得南加州大学地球科学
石室坟墓马斯塔巴（英语：Mastaba）是古埃及墓葬建筑的类型之一。马斯塔巴是平顶、长方形和外部呈斜坡面的建筑，很多古时期著名的埃及人都埋葬于这类型的墓室内。墓室是用泥砖或石头来建成
恋鼻恋鼻（英语：Nose fetishism、nose partialism或nasophilia）是一种对人的鼻子产生特定的偏好的恋物癖形式，这包括认为特定的外观（例如形状或大小）或特定区域（例如鼻梁或鼻孔）是具性吸