计算理论

✍ dations ◷ 2025-11-25 18:29:06 #计算理论

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

相关

NAGN-乙酰葡糖胺（GlcNAc；NAG）是葡糖胺的N-乙酰衍生物，分子式C8H15NO6。NAG与NAM为组成细菌细胞壁的单体，与葡糖醛酸为透明质酸的单体。NAG也是甲壳素的聚合单体。细菌疾病 · 科莱
黑碳黑碳（Black carbon）是一种悬浮粒子，源自于含碳物质（主要是石油、煤、木炭、树木、柴草、塑料垃圾、动物粪便等）不完全燃烧和氧化形成的产物。在扫描电镜下观察，黑碳呈现出亚微米级
缺血缺血（Ischemia）是描述组织供血量不足，进而导致缺氧及养分的情形。缺血一般由血管问题所导致，也可能因血管收缩、血栓形成，或栓塞，导致局部贫血所导致。缺血除了导致缺氧以外及缺乏
相公堂子相公堂子，在中国古代是指为男性提供性服务的男妓的场所和住所。此处的“相公”是男妓的意思。中国清代的北京城，娈童的风气猖獗，乾隆年间，将内城相公堂子赶出内城，堂子遂在八大胡
发型发型指头发的修剪、整形，或戴上装饰品所整理的头发型式。通常为了审美、宗教、社交、职业或显示社会地位的原因，人类会对头发进行修剪和设计，达到不同的样式，而令到有不同的视觉
法英关系英法关系是指法国和英国之间的双边关系。两国之间的关系可以追溯至高卢战争时期。在罗马帝国时代，两国都曾经历罗马帝国统治，并都曾展开对罗马统治的抵抗。虽然两国在历史上也
ω-6 脂肪酸ω-6脂肪酸是一个多元不饱和脂肪酸系列，它属于必需脂肪酸（essential fatty acids），必须由食物中取得，无法在人体内自行合成。一些医学研究表明，超过于一定含量的Ω-6脂肪酸：Ω-3脂
军事技术与装备军事技术与装备，简称军备，罗列了古今各式各样的武器、技术，甚至理论，为军事学中重要的一环。QF 20磅炮
左岸在法国巴黎地区，左岸（法语：La Rive Gauche，法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Cod
明信片明信片，一种专供书写文字，不必封函，即可交邮局寄递的邮件。其正面为信封的格式，反面具有信笺的作用。优点是省贴邮票和不用信封，缺点是篇幅小而无隐密性。亦称为“邮片”。明信片