计算理论

✍ dations ◷ 2025-11-20 20:10:28 #计算理论

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

相关

色素沉着绒毛结节性滑膜炎色素沉着绒毛结节性滑膜炎（英语：Pigmented villonodular synovitis，缩写为英语：PVNS）也称为关节内的腱鞘巨细胞瘤（英语：intra-articular giant-cell tumor of the tendon sheath），是
低血糖症低血糖（英语：Hypoglycemia、low blood sugar）是指血液中的葡萄糖浓度（血糖），特别是血浆中的，低于正常水平的现象，一般是治疗糖尿病时的并发症，也可能是由多种原因所引起的，并导致一系
渗透压渗透压（osmotic pressure）是施加到溶液上以防止溶剂经选透膜内流的最低压力。在U型管实验时，当渗透持续进行至两液面高度不再变动时，此时两液柱之压力差称为渗透压。渗透压的大
载体蛋白载体蛋白（英语：carrier protein）简称“载体”，是参与离子、小分子或高分子跨越生物膜进行运输的一类多回旋折叠蛋白质。载体蛋白都是跨膜蛋白，它们能在协助扩散或主动运输过程中
原肠胚形成原肠胚形成（Gastrulation）是大部分动物胚胎发育中都会经历的一个阶段。在本阶段中，只有一层细胞的囊胚会发生重组，形成一个含有三个胚层（即外胚层（ectoderm）、中胚层（mesoderm）、内胚
克非尔克非尔（英语：kephir 或 Kefir，也译为克菲尔、开菲尔），又称为牛奶酒、咸酸奶，是一种发源于高加索的发酵牛奶饮料。这种饮料是通过在牛奶或羊奶上接种上一批的克非尔粒-或称为克非
美国黑人非裔美国人 42,020,743其他美国黑人列表（英语：Afro-American peoples of the Americas）美洲裔利比里亚人 · 塞拉利昂克里奥尔人 Black Nova Scotians（英语：Black Nova Scotia
墓志铭墓志铭为文体名，在坟墓中或坟墓上，以死者生平事迹所写的一份简介，尤其对于伟大或值得纪念的人其墓经常有墓志铭，在中国和西方都有这种习俗的存在，另外中国古代还有祭文、行状的写
三好氏远端肌肉无力症三好氏远端肌肉无力症（Distal muscular dystrophy (distal myopathy)）是一群主要是发生在手或脚的疾病，其中许多种和Dysferlin蛋白（英语：dysferlin）有关，但不是所有的三好氏远端肌
GeoEye卫星公司GeoEye卫星公司（英语：GeoEye Inc.）是美国一家商用卫星图像公司，坐落于弗吉尼亚州赫恩登，为世界上最大的卫星遥感影像公司，母公司为博龙资产管理。其前身是1992创立的Orbital图像公