计算理论

✍ dations ◷ 2025-07-11 08:04:13 #计算理论

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

相关

复制复制（英文：Copying；中文音译：拷贝）是将某事物通过某种方式制作成相同的一份或多份的行为。在中文里，台湾和港澳地区亦将英文中表示利用生物技术由无性生殖产生与原个体有完全相同
念珠菌症念珠菌症（Candidiasis）是假丝酵母属（酵母菌的一种）所造成的霉菌感染，在感染口腔时，就会引发鹅口疮（Thrush）。症状和病征包括在舌头、口腔以及咽喉的部位出现小白点，也可能产生例如酸
季铵盐季铵盐，又称四级铵盐是铵离子的四个氢离子都被烃基取代后形成的季铵阳离子的盐，具有通式 R4N+X−。其中四个烃基可以相同，也可以不相同，X−多为卤素阴离子，HSO4−，RCOO−及OH−（季
红斑红斑（希腊文:erythros，意思是红色）是因为皮肤表面毛细血管的血管扩张，造成皮肤或黏膜充血发红的症状。红斑会因为皮肤受伤、感染或发炎而出现。也有一些和疾病无关的皮肤红斑，例
屈折语屈折语（英语：fusional language，或称inflectional language）为综合语（synthetic language）之一种。屈折语和同为综合语的黏着语之间的分别在于屈折语的词素趋向连在一起，较为难以分
安全眼镜眼镜是镶嵌在框架内的透镜镜片，戴在眼睛前方，以改善视力、保护眼睛或作装饰打扮用途。亦有特制眼镜供观看3D立体影像或虚拟真实影像。眼镜可矫正多种视力问题，包括近视、远视、
乙硫醇乙硫醇（分子式：CH3CH2SH），常见硫醇之一，结构上由乙醇中的氧原子被硫替代得到。无色透明易挥发的高毒油状液体，微溶于水，易溶于碱液和有机溶剂中，以具有强烈、持久且具刺激性的蒜臭味
卢拉赫卢拉赫王（中世纪盖尔语：Lulach mac Gille Coemgáin；Modern Gaelic: Lughlagh mac Gille Chomghain，英语化简称：Lulach，早于1033年 - 1058年3月17日），被以绰号称作“不幸王”（中世纪
北隆达省北隆达省位于安哥拉东北端，与南伦达省及马兰哲省等省份及刚果民主共和国相邻。
新能源汽车新能源汽车，是指采用非常规的车用燃料作为动力来源（或使用常规的车用燃料、采用新型车载动力装置），综合车辆的动力控制和驱动方面的先进技术，形成的技术原理先进、具有新技术、新