计算理论

✍ dations ◷ 2025-10-12 10:00:38 #计算理论

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

相关

痢疾痢疾，是一种传染病。依传染性的致病生物体不同而分为细菌性痢疾、阿米巴痢疾。元朝皇帝元顺帝便是死于痢疾。细菌性痢疾，简称菌痢，是由于痢疾杆菌所引起的一种假膜性肠炎（纤维
GeckoGecko是一套自由及开放源代码、以C++编写的排版引擎，当前为Mozilla Firefox网页浏览器以及Mozilla Thunderbird电子邮件客户端等Mozilla基金会相关产品所使用。Gecko原本由网
云南大学中国云南省昆明市五华区（东陆校区）云南大学（Yunnan University），简称云大，是中华人民共和国的一所文脉深远，历史悠久，影响力高的综合性大学。云南大学是中国西部建立最早的综合性大
胚乳胚乳（Endosperm）是种子植物种子的一部分，为种子主要的养分储存处。被子植物的胚乳由精核和胚珠中的两个极核在双重受精时结合而成，具有三套染色体（3N）。一般所指的胚乳都是内胚乳，
浆果浆果（Berry）是果实的一种类型，属于单果，常见于分属于不同科属的多种植物，例如茄科的番茄、茄子、马铃薯的果实、青椒、香蕉、忍冬科的忍冬、葡萄科的葡萄等。浆果的外果皮较薄，中
基因选殖分子克隆（英语：Molecular cloning，又译分子纯化繁殖），而克隆英文字面上的意思，其实就是分子克隆，定义是指分离一个已知DNA序列，并以in vivo（活体内）方式获得许多复制品的过程。这一复
葡萄糖异构酶结构 / ECOD结构 / ECOD1IAT, 1IRI, 1JIQ, 1JLH, 1NUH· cytokine activity · growth factor activity · intramolecular transferase activity· extracellular space
巨人传《巨人传》（法语：La vie de Gargantua et de Pantagruel），是法国文艺复兴时期的重要文学作品，由法国作家弗朗索瓦·拉伯雷创作，共有五集，1532至1564年陆续出版。此书具体反映出中古
硫代羧酸硫代羧酸是一个有机硫化合物，通式为RC(O)SH。它们和羧酸相近。它理论上有两个互变异构体，分别为RC(S)OH和RC(O)SH，但只有后者才存在。在实验室中最为常见的硫代羧酸是硫代乙
Christian Lacroix克里斯汀·拉克鲁瓦（法语：Christian Lacroix, 1951年5月16日－），法国著名时装设计师，以其名字出品的时装颇富盛名，唯一具有博物馆策展人资格的设计师，除时装外，亦擅于绘画、室内设计。