计算理论

✍ dations ◷ 2025-12-05 00:10:32 #计算理论

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

相关

肠梗阻肠梗阻（Bowel obstruction或Intestinal obstruction），系为肠部的机能性阻塞（英语：Ileus），造成无法正常进行消化运动，发生部位可能是小肠或是大肠，症状及体征有肚子痛、呕吐、腹部胀气
费雯·丽奥利维尔爵士夫人费雯·丽（英语：Vivien Leigh, Lady Olivier，1913年11月5日－1967年7月8日），英国国宝级电影演员，两届奥斯卡影后。费雯·丽不但是一位出色的电影演员，也是一名优秀的
Ce4f1 5d1 6s22, 8, 18, 19, 9, 2蒸气压第一：534.4 kJ·mol−1 第二：1050 kJ·mol−1 第三：1949 kJ·mol−1 （六方面心立方主条目：铈的同位素铈（英语：Cerium）是一种化学元素，它的化学
庚糖庚糖（Heptose），又称为七碳糖，是含有七个碳原子的单糖，化学式为 C7H14O7。在1号碳上有醛基的称为七碳醛糖（庚醛糖）；2号碳上有酮基的称为七碳酮糖（庚酮糖）。庚酮糖有四个手性碳原子，庚醛
航天发射中心name = 'Aero', description = '航空太空科技（航空航天科技）', content = {{ type = 'text', text = [=[本页面没有类似于NoteTA的数量限制。请自行修改分类名。在NoteTA样板
克拉福德奖克拉福德奖（英语：Crafoord Prize）在1980年由人工肾脏发明者、瑞典人霍尔格·克拉福德（英语：Holger Crafoord）和他的妻子安娜-格蕾塔·克拉福德设立，瑞典皇家科学院管理。设立目的是
恰恰恰恰（格鲁吉亚语：ჭაჭა）是乔治亚的一种白兰地。恰恰酒色透明，度数较高，有时会使用未成熟的葡萄或野生的葡萄制作。有些恰恰使用无花果或瓯柑、橙子、桑果等其他水果或香草制作
尼罗河尼罗河（英语：Nile，阿拉伯语：النيل‎，埃及语：Ḥ'pī / iteru，科普特语：ⲫⲓⲁⲣⲟ / phiaro）是一条流经非洲东部与北部的河流，与中非地区的刚果河以及西非地区的尼日尔河并列非洲
谢尔盖·邦达尔丘克谢尔盖·费奥多罗维奇·邦达尔丘克（俄语：Серге́й Фёдорович Бондарчук，乌克兰语：Сергій Федорович Бондарчук，1920年9月25日－1
加拿大老四校老四校是指加拿大中部历史比较悠久的四所学校所开展的足球联赛，这四所学校分别是：麦基尔大学, 女王大学, 多伦多大学和西安大略大学。它们都是最早参与加拿大大学运动联赛