计算理论

✍ dations ◷ 2025-11-26 22:05:01 #计算理论

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

相关

谁是犹太人?“谁是犹太人？”（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","
中脑中脑（英语：Midbrain）长约1.5公分，其腹面由桥脑延伸至间脑的乳头体（英语：Mammillary body），在两侧明显的突起称基脚（basis pedunculi），是由锥体运动系统及皮质桥脑径的纤维所组成。位于
听觉系统听觉系统是听觉的感觉系统，主要器官为耳朵，其组成部分包括外耳（英语：Outer ear）、中耳、内耳、毛细胞及相关神经元。围绕耳道的软骨折叠位称为耳廓。当声波碰击倒耳廓，便会被反射
毛利齐奥·波里尼毛利齐奥·波里尼（意大利语：Maurizio Pollini，1942年1月5日－），意大利钢琴家。毛利齐奥·波里尼生于米兰，其父为理性主义建筑学家基诺·波里尼（意大利语：Gino Pollini），曾先后师从卡洛·
20152015年菲律宾APEC峰会，全称亚太经合组织第二十三次领导人非正式会议（英语：THE 23RD APEC ECONOMIC LEADERS' MEETING）。这是菲律宾第二次主办APEC峰会，第一次是在1996年。此年领
中国大陆高等学校列表语言 - 文化 - 体育 - 节日政府 - 政治 - 法律 - 经济艺术 - 文学 - 舞蹈 - 戏曲中国大陆高等学校列表列出中华人民共和国的普通高等学校、成人高等学校和军事高等学
原子能电池原子能电池（又称核电池，氚电池或放射性同位素发电装置）是指那些使用放射性同位素衰变时产生之能量来产生电力的装置。这会使人误解成核反应堆，但实际上这种电池不是利用链式反应
阿拉美语阿拉姆语（帝国亚拉姆语：ܐܪܡܝܐ‎；汉译为亚拉姆语、亞蘭語、阿拉姆語、阿拉米语、阿拉美语或阿辣米语，下称阿拉姆语）是闪米特语族（闪族）的一种语言，与希伯来语和阿拉伯语相近。阿
张恭庆张恭庆（1935年5月29日－），上海人，中国数学家，北京大学数学科学学院教授，中国科学院院士，以其对无穷维莫尔斯理论的研究而知名。张恭庆早年曾就读于圣芳济中学初中、南洋模范中学，1954
All Rights ReversedAll Rights Reversed（撤回所有权利，有时候“Rights”写作“Rites”）是一条英文短语，用于表示Copyleft许可的状态。其最早的文本形式是在布宜诺斯艾利斯公约（Buenos Aires Convent