计算理论

✍ dations ◷ 2025-11-26 00:59:42 #计算理论

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

相关

降水降水是指在大气中冷凝的水汽以不同方式下降到地球表面的天气现象。大气中的水汽几乎全部集中于对流层中，温度越高，大气可以容纳的水汽含量就越多，反之就越少。一定温度下，当空气
次氯酸钠次氯酸钠（sodium hypochlorite），化学式NaClO，是钠的次氯酸盐。次氯酸钠与二氧化碳反应产生的次氯酸是漂白剂有的成分。氯气溶于冷而且稀的氢氧化钠溶液产生次氯酸钠、氯化钠及水
种子种子是种子植物的胚珠经受精后长成的结构，一般有种皮、胚和胚乳等组成。胚是种子中最主要的部分，萌发后长成新的个体。胚乳含有营养物质。种子是裸子植物、被子植物特有的繁殖
Wiktionary维基词典（英语：Wiktionary），是维基百科的姊妹工程，它的目标是创建一个基于所有语言的自由的词典。该项目于2002年12月12日启动，发起人是维基人Daniel Alston。维基词典旨在收录字
邮件列表邮递论坛，或称邮件列表、邮寄列表、通信论坛或邮件论坛等，是对姓名和电子邮件地址的收集，使得个人或组织可以发送信息或资料给众多的订户。通常是用户对该表的订阅促使邮件列表
双名制命名法二名法（英语：Binomial Nomenclature，Binominal Nomenclature 或 Binary Nomenclature），又称双名法，依照生物学上对生物种类的命名规则，所给定的学名之形式，自林奈《植物种志》(1753
主教主教是基督宗教的高级圣职人员职称，为天主教、东正教与圣公会采用，词源自希腊文“episkopos”（επίσκοπος），即“epi”（由上往下）及“skopos”（观察者），意为监督（overseer）。依据
克娄巴特拉七世克利奥帕特拉七世（笃爱父亲者）（希腊语：Κλεοπάτρα Φιλοπάτωρ，又译克娄巴特拉七世、克利欧佩特拉七世、克丽奥佩特拉七世；前69年－前30年8月12日），世称“埃及艳后”或
晚期后期埃及是古埃及本土统治者在位的最后一个兴盛时期。在第三中间期，埃及陆续受努比亚第25王朝及崛起的新亚述帝国统治，地方总督普萨美提克一世与672年建立起第二十六王朝，定都
道卡斯族道卡斯族（道卡斯语：Taukat，英语：Taokas）为台湾原住民之族群之一，因政权更迭而被归类于平埔族群，此名称为日本学者伊能嘉矩所命名，又名斗葛族，闽南语音近于大甲（白话字：Tāi-kah），故又称大