计算理论

✍ dations ◷ 2025-12-03 20:17:22 #计算理论

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

相关

尿毒症尿毒症（uremia）是指肾功能衰竭，因而使蛋白质消化后产物、尿素等身体废弃物无法排出，滞留体内所产生的中毒现象。尿毒症的病因可归类为三方面尿异常、浮肿、容易疲累、夜间失眠、
放射性落下灰放射性落下灰，也称放射性沉降物、放射性落尘、辐射落尘或原子尘，是核弹爆炸或核反应堆泄漏后从天而降的放射性尘埃，含有大量放射性元素，是一种放射性污染。核弹爆炸产生的辐射尘
桥脑脑桥（拉丁语: Pons）是人和两足动物小脑腹面的特有构造。脑桥在延髓的上方和小脑前方，它位于延髓与中脑的大脑脚之间，前后缘有横沟为界；外形呈白色弓状的横隆凸；内部有大量的横走的
牙龈牙龈（又称龂；俗称牙床、牙花子；客家话称牙舷肉），牙龈由软组织构成。牙龈位于牙齿根部（称为牙根）周围。护理牙龈与护理牙齿一样重要。是人或动物口腔内的粘膜组织，下接牙槽骨的骨膜，向
麻黄碱麻黄碱，又称麻黄素（英语：ephedrine，缩写：EPH）是一种拟交感神经胺，可用来预防腰椎麻醉（英语：Spinal anaesthesia）时可能引发的低血压症状，也会在治疗气喘、猝睡症以及肥胖症中使用，但效果
新古典主义新古典主义（英语：Neoclassicism），是一种新的复古运动。兴起于18世纪的罗马，并迅速在西方世界扩展的艺术运动，影响了装饰艺术、建筑、绘画、文学、戏剧和音乐等众多领域。新古典主
威廉·肖克利威廉·肖克利（英语：William Shockley，1910年2月13日－1989年8月12日），英国出生的美国物理学家和发明家，一生共获得90多项专利。他和约翰·巴丁、沃尔特·布喇顿共同发明了晶体管。他
双管问题双管问题（英语：double-barreled question）或一题多问，有时也称复合问题，是指在一个问题以合取（且）或析取（或）等方式组合多个子问题，却只允许简单的答案。当回答者只对双管问题回答“是
曾祖父曾祖父母（英语：Great grandparents）是祖父的父亲母亲；又称爷爷的父亲母亲。自己则分别是曾祖父母的曾孙子或曾孙女。在北方地区习惯称呼曾祖父称为“太爷爷”，曾祖母为“太奶奶”
辛努塞尔特一世辛努塞尔特一世 Senusret I（希腊人称他为塞索斯特利斯一世 Sesostris I；另一埃及名为森沃斯勒 Senwosret，意为“沃斯雷特女神的子民”）古埃及第十二王朝法老（约公元前1970年—约