计算理论

✍ dations ◷ 2025-05-16 06:27:00 #计算理论

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

相关

革兰氏阴性杆菌革兰氏阴性菌（英语：Gram-negative bacteria）泛指革兰氏染色反应呈红色的细菌。在革兰氏染色实验中，首先添加了结晶紫，再添入另一种复染染料（通常使用番红），从而将所有的革兰氏阴性菌
第一次世界大战联军的入侵带来的破坏和南方的失败，连同战后在占领区经济的萧条，使得南方人对联邦政府长期心怀不满。面对着战后受到战争破坏的南方，重建成了最迫切解决的问题。重建是在美国内
群体免疫群体免疫（英语：herd immunity或community immunity）是指人或动物群体中的很大比例因接种疫苗而获得免疫力，使得其他没有免疫力的个体因此受到保护而不被传染。群体免疫理论表明，
城市径流城市径流（Urban runoff），是城市化造成雨水的地表径流。这种径流是世界许多城市化地区水污染的主要来源。道路、停车场和人行道等不透水表面是在土地开发过程中建设形成的。在暴
耕地耕地在地理学上是指可以用来种植农作物的土地。地球上1亿4800万平方公里的陆地中大约有3100万是可耕地，但目前可耕地面积正以每年10万平方公里的速度流失。而耕地流失的主因
思想家思想家，是指对各层面的学术都有广泛研究或其思想足以建立出一个思想体系的人（如, 中国：老子、孔子、孟子、荀子、王充、王守仁、李贽、朱熹、顾炎武、龚自珍、魏源、康有为、鲁
森林翼龙森林翼龙属（学名：Nemicolopterus）是翼龙目翼手龙亚目的一属，化石发现于中国辽宁省的热河群九佛堂组，生存年代为1亿2000万年前。森林翼龙的翼展为25公分，是最小型的翼龙之一。森林
细胞工程细胞工程（英文：cell engineering）是指在细胞水平上，基于现代细胞生物学、发育生物学、遗传学和分子生物学的理论与方法所进行的的遗传操作。这些操作用于重组细胞的结构和内含物
微静脉微静脉（英语：venule，亦称为小静脉）是在微循环中允许血液从毛细血管床返回到更大的被称为静脉的血管中的非常细小的血管。微静脉的直径在7到50μm之间。静脉包含了大约总血容积的
八大地狱八大地狱（又名八热地狱），是佛教所谓四类地狱之一。八大地狱位于地心，最底层就是阿鼻地狱。而每一个火地狱又各自拥有十六个小地狱。地狱有所谓“四类十八地狱”，四类即八大地狱、