计算理论

✍ dations ◷ 2025-12-06 16:35:06 #计算理论

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

相关

专性细胞内寄生物细胞内寄生物（英语：Intracellular parasite）是指一类寄生于宿主细胞中生长、繁殖的生物，可分为兼性（Facultative）和专性（Obligate）寄生物。部分细胞内寄生物会导致相关疾病的发生。
自残自我伤害（英语：Self-harm），又称自残（self-injury），是指有意且直接地伤害身体组织的行为，当事人一般没有自杀的意图。较近期的文献多会使用以上两者去取代较不中立的“自残”，特别是《
墨尔波墨涅墨尔波墨涅（古希腊语：Μελπομένη，字面意思为“歌唱者”或“声音甜美的”）希腊神话中司悲剧的缪斯。同其他缪斯一样，墨尔波墨涅是宙斯和记忆女神谟涅摩绪涅的女儿。她最初
Csub4/sub类植物C4类二氧化碳固定（英语：C4 carbon fixation）是植物的三种碳固定方式之一，因为第一个可观察得到的产物是一个四碳化合物草酰乙酸，人们就命名其为C4类碳固定。C4类植物比C3类植物在
瓶颈效应种群瓶颈效应或人口瓶颈（population bottleneck；genetic bottleneck）是指某个种群的数量由于突然的灾难所造成的死亡或不能生育造成减少50%以上或者数量级减少的事件。种群瓶颈
榛榛（学名：Corylus heterophylla）为桦木科榛属的植物。落叶灌木或小乔木；幼枝有软毛及腺毛；圆卵形至倒卵形的叶子，顶端稍平截，有长尖头，边缘有不规则锯齿和小裂片；早春先叶开花，雌雄同株
跗节节肢动物的腿，是体节上的附属肢（简称附肢），通常用于行走。在英语中，节肢动物附属肢的许多术语源自于拉丁文，并且通常与用于描述骨头的术语相混淆。例如：coxa (底节或者髋关节)、tro
唐太宗李卫公问对《续古逸丛书》影宋《武经七书》本 1935年中华学艺社影宋刻《武经七书》丛本丁氏八千卷楼藏刘寅《武经七书直解》影印本《唐太宗李卫公问对》是一部记录唐朝名将李靖的军
韵母韵母是一个音节中除声母外的部分。它必须包含响音，一般是元音。由一个元音构成的韵母称为单元音韵母，由多个元音构成的称为复元音韵母。现代标准官话中有13个普通韵母，由五个基
后周世宗周世宗柴荣（921年10月27日－959年7月27日），又名郭荣，五代时期后周皇帝，于954年2月26日－959年7月27日在位，在位6年。邢州尧山柴家庄（今河北省邢台市隆尧县）人，是周太祖郭威的养子（柴荣本身