计算理论

✍ dations ◷ 2025-12-02 04:37:12 #计算理论

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

相关

泰诺福韦替诺福韦二吡呋酯（英语：Tenofovir disoproxil），商品名韦瑞德（英语：Viread）惠立妥或其它，是一种用于治疗慢性乙肝以及预防和治疗HIV感染/艾滋病的药物。这种药物属于逆转录酶抑制剂，可
毛霉亚门毛霉亚门（Mucoromycotina），又称毛霉菌亚门，在真菌分类上仍有许多不清楚的地方，曾经被认为是接合菌门中的成员，但近期的系统分类研究结果显示，他们是多系群，因此现今被分做好几个不同
孝感市孝感市，古称孝昌，是中华人民共和国湖北省下辖的地级市，位于湖北省东北部。市境东北接黄冈市，东临武汉市，南抵仙桃市，西南界天门市，西邻荆门市，西北达随州市，北靠河南省信阳市。地处江
盘尾丝虫病蟠尾丝虫症或蟠尾丝虫病（拉丁语：Onchocerciasis），又名河川盲、河盲症（river blindness），是一种因感染蟠尾丝虫引起的疾病。病状包括严重搔痒、皮下肿块，以及失明。是全球仅次于沙眼
American Cancer Society美国癌症协会（American Cancer Society, ACS）是美国的一个致力于消除癌症的全国性的自愿健康组织。美国癌症协会成立于1913年，并在美国分布为十二个地区（包括波多黎各），拥有大约9
颚脊椎动物有颔下门（Gnathostomata）原为有颔总纲（Gnatha），是脊椎动物亚门中拥有颔的一群，与无颔总纲相对应，属于较高等的一类。有颔下门生物之下颌骨系于距今约四亿三千万年前开始发展形成，即
平底烧瓶平底烧瓶是实验室中使用的一种烧瓶类玻璃器皿，主要用来盛液体物质，可以轻度受热。加热时可不使用石棉网。强烈加热则应使用圆底烧瓶。底部为半球形，上部有一个长颈以便容物出入
贾德·戴蒙贾德·梅森·戴蒙（英语：Jared Mason Diamond，1937年9月10日－），美国演化生物学家、生理学家、生物地理学家以及非小说类作家。他最著名的作品《枪炮、病菌与钢铁》发表于1997年，曾
韭葱韭葱（别名扁葱或京葱）为葱科葱属的栽培作物。在历史上，韭葱曾被赋予多种生物学学名，但目前通常认为其是象大蒜的栽培品种。它是威尔士的代表植物。多年生宿根草本，一般作二年生栽
林惠民林惠民（1947年11月13日－）是一位中国计算机科学家，计算机软件与理论专家，长期从事计算机程序的形式语义学及形式化方法的研究。1947年生于福建省福州市，1982年毕业于福州大学计算机