计算理论

✍ dations ◷ 2025-11-19 16:59:06 #计算理论

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

相关

肿瘤学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学肿瘤学（英：Oncology）是一种研究肿瘤（尤其
核糖体核糖体（ribosome），旧称“核糖核蛋白体”或“核蛋白体”，是细胞中的一种细胞器，由一大一小两个亚基结合形成，主要成分是相互缠绕的RNA（称为“核糖体RNA”，ribosomal RNA，简称“rRNA”）
周产期产前(Prenatal)或产前发育(Prenatal development)是人类胚胎或胎儿在孕期的孕育过程，从受精，至诞生。通常，也可使用术语胚胎发育、胎儿发育，或胚胎学来表示。胚胎发育始于受精。
犯罪美国联邦调查局和美国司法统计局每年都会发布美国犯罪数据统计，联邦调查局每年都会将各个执法机构的案件汇集起来，发布成《统一犯罪报告（英语：Uniform Crime Reports）》。考虑到
疑问词移位疑问词移位(英语称之为wh-movement、wh-extraction或A'-movement等)是一种可见于世界上许多语言的一种现象，在此现象中疑问词或词组会有特殊的语序，和一般的句子不同，在有此现
自然史《博物志》（拉丁语：Naturalis Historia，又译《自然史》）是古罗马学者老普林尼在77年写成的一部著作，被认为是西方古代百科全书的代表作。全书共37卷，分为2500章节，引用了古希腊327
隐存种隐存种（cryptic species complex）又称姐妹种（sibling species），是指一组物种，他们符合生物学对于物种的定义，也就是说彼此不能够交配繁殖，但他们在形态学上是非常相似的，甚至有些时候
有舵雪橇有舵雪橇（英语：Bobsleigh）又称为“雪车”或“长雪橇”，是一种以舵和方向盘控制的集体冬季运动项目，它的平均滑行速度可达145公里至150公里，最高可达至251公里，而其雪橇是由金属所成
界面活性剂表面活性剂（又称界面活性剂）是能使目标溶液表面张力显著下降的物质，可降低两种液体或液体-固体间的表面张力。最典型的例子是肥皂，具分解、渗入的效果，应用广泛。表面活性剂一般
上网本上网本（netbook）这个名词由加拿大ATIC公司于1996年6月提出，当时作为“可上网”的笔记本在北美市场销售。后来这个商标出售给加美（多伦多、加州）的一家笔记本电脑公司继续作为笔记