计算理论

✍ dations ◷ 2025-12-03 07:31:21 #计算理论

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

相关

染色体异常染色体畸变是细胞中染色体数目的增减和结构的改变。畸变为可自然发生的。也有人工诱发。一些物理因子（如电离辐射）和化学诱变剂能大大提高畸变频率。根据畸变的特殊遗传学
胆固醇胆固醇，别名胆甾醇，是一种类固醇及甾醇，化学式为C27H46O。固态是一种无色的结晶。胆固醇是法国医生François Poulletier de la Salle于1784年在胆结石上发现的。其命名cholest
抽象释义在计算机科学中，抽象释义是基于在有序集合特别是格上的单调函数，计算机程序的语义的可靠逼近理论。它可以被看作对计算机程序的部分执行，获取关于它的语义信息(比如，控制结构、
原子论原子论（英语：Atomism，来自古希腊语atomos，含义为“不可分割”）是在一些古代传统中发展出的一种自然哲学。原子论者将自然世界理论化为由两基本部分所构成：不可分割的原子和空无的
亲核芳香取代反应芳香族亲核取代反应（Nucleophilic Aromatic Substitution reaction，SNAr）是亲核取代反应的一类，发生在芳香环上。当中一个亲核体取代了一个好的离去基团，例如在芳香环上的卤代烃
无调音乐无调音乐，又称无调性音乐，是现代音乐的一种重要流派与表现形式之一，其构成方式与有调性的古典音乐具有互补意义。该音乐形式有其构成法则，但是不同于传统音乐；因为“无调性”，无调
罗盘指南针，又称罗盘或司南，是一种用于指示方向的工具，广泛应用于各种方向判读，譬如航海、野外探险、城市道路、地图阅读等领域。指南针可分为依靠磁力与不依靠磁力两类。依靠磁力的
费林加伯纳德·卢卡斯·“本”·费林加（荷兰语：Bernard Lucas "Ben" Feringa，1951年5月18日－），荷兰化学家、格罗宁根大学教授，拥有中华人民共和国永久居留权，2016年诺贝尔化学奖得主。费林
城市蔓延城市蔓延（英语：Urban sprawl），或称郊区蔓延（Suburban sprawl），俗称摊大饼，是指郊区城市化过程中，城市人口大幅向外发展，侵占城市边缘的乡郊地区并形成低密度、单功能，且通常依赖小汽车
性腺胚细胞瘤性腺胚细胞瘤（英语：Gonadoblastoma），是一种包含性腺的混合型肿瘤，包括大量原始的生殖细胞、未成熟的支持细胞或颗粒细胞、以及性腺间质细胞。90%的性腺胚细胞瘤患者常见于非正常