计算理论

✍ dations ◷ 2025-12-09 18:44:23 #计算理论

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

相关

白蚁白蚁亦称.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-s
儿儿部，是為漢字索引的部首之一，康熙字典214個部首第十個（二劃的則為第四個），是簡體字部首。就正體中文中，儿部歸於二劃部首。儿部只以下方為部字，且無其他部首可用者將部首歸為儿部
木本植物木本植物是一类植物的总称，指植物的茎内木质部发达，质地坚硬的植物，但并非生物分类学中植物的一个单元。一般直立、寿命长，能多年生长，与草本植物相对，人们常将前者称为树，后者称为
自由岛坐标：40°41′24″N 74°2′43″W / 40.69000°N 74.04528°W / 40.69000; -74.04528自由岛（英语：Liberty Island），旧称贝德罗岛（Bedloe's Island），是位于美国纽约港内的无人岛，因岛
萨哈共和国雅库特共和国（俄语：Республика Саха (Якутия)，罗马化：Respublika Sakha (Yakutiya)）是俄罗斯联邦主体之一，属于远东联邦管区。1922年4月27日，苏联在俄罗斯苏维
酚类在有机化学中，酚类化合物（英语：phenol）是一类通式为ArOH，结构为芳烃环上的氢被羟基（—OH）取代的一类芳香族化合物。酚类化合物中最简单的酚为苯酚（C6H5OH，亦称石炭酸）。虽然结构与醇类
计亮年计亮年（1934年4月20日－），配位化学及生物无机化学专家，中国科学院院士（2003年）。现任广东省化学会理事长，中山大学教授、化学与化学工程学院院长。浙江省鄞县人，1934年出生上海市，1956
家长式领导家长式领导（英语：paternalism 或 parentalism，又称父爱主义、父权主义、温情主义、家长式作风、家长式管治）是一种行为，由个人、组织、或国家，图以替一些人或群体的好处设想，去限制
海神希腊神话中有为数众多“掌管大海的神祇”。柏拉图曾说希腊人就像住在池塘边的青蛙，因为他们的城市分布于从希腊本土到小亚细亚、利比亚（昔兰尼加）、西西里以及大希腊的地中海沿
瓦连京·亚宁瓦连京·拉夫连季耶维奇·亚宁（俄语：Валентин Лаврентьевич Янин，1929年2月6日－2020年2月2日），俄罗斯历史学家，考古学家。1929年生于维亚特卡，在家族悲剧的