首页 >
计算理论
✍ dations ◷ 2025-06-28 04:48:02 #计算理论
计算理论(英语:Theory of computation)是数学的一个领域,和计算机有密切关系。其中的理论是现代密码协议、计算机设计和许多应用领域的基础。该领域主要关心三个方面的问题:这三方面的问题可以用一个问题来总括:“电脑的基础能力及限制到什么程度?”计算理论的“计算”并非指纯粹的算术运算(Calculation),而是指从已知的输入透过算法来获取一个问题的答案(Computation),因此,计算理论属于计算机科学和数学。为了对计算进行严谨的研究,计算机科学家会将计算以数学的方式抽象化,称为计算模型。有几种当前在使用的计算模型,其中最出名的是图灵机。计算机科学家研究图灵机的原因是它很容易叙述,可以分析,用来证明结果,而且用此模式呈现了许多强而有力的计算模型(引用邱奇-图灵论题)。图灵机有潜在的,数量无限的记忆能力,这似乎是不可能达到的,不过所有图灵机解决的可判定性问题都只需要有限量的记忆能力。因此理论上,任何可以用图灵机解决的(可判定性)问题都只需要有限量的记忆能力。计算理论早在所有计算机发明之前便开始了,当时是使用数理逻辑,在20世纪此理论和数学分离,成为一个独立的学科。计算理论早期的重要贡献者有阿隆佐·邱奇、库尔特·哥德尔、艾伦·图灵、斯蒂芬·科尔·克莱尼、约翰·冯·诺伊曼及克劳德·香农等。
相关
- 本能理论本能理论(本能运动的生理学理论)是经典比较行为研究一个整体概念,人们经由这种理论,就可以用统一的观点去观察动物可观察得到的和所谓的先天的行为方式。通过这种总的概念,人们可
- 本草纲目《本草纲目》是一部集中国16世纪以前本草学大成的著作,明代万历六年(1578年)定稿,万历二十三年(1596年)在南京正式刊行,作者为中国历史上最著名的医学家、药学家和博物学家之一李时
- 导游导游是旅游活动中的一位角色人物,是旅游业中的一个前线职业。在旅行团中的前线服务员有旅游车司机、领队及导游有时候会有摄影师。领队:是当地接待单位的前线代表,负责带领团员
- 第三次意大利独立战争意大利统一运动(意大利语:Risorgimento,意为“复兴”,故中文文亦有译为“复兴运动”)是19世纪至20世纪初期间,将意大利半岛内各个国家统一为意大利的政治及社会过程。1861年3月17
- 光泽光泽(英语:Lustre, 或luster)是矿物在光照射下表面呈现的一种外观属性,与矿物表面反射光的强弱和方向有关。对于常见的光泽类型,有不少惯用术语描述,例如“金属光泽”,“玻璃光泽
- 曼哈顿原子弹计划曼哈顿计划(英语:Manhattan Project)是第二次世界大战期间研发与制造原子弹的一项大型军事工程,由美国主导、英国与加拿大提供相关支援,该计划于1942年至1946年间由美国陆军工程
- 前卫先锋派(法语:avant-garde,已被英语吸收,对应英文意为front guard、advance guard或vanguard,直译为“前卫”)常指涉新颖的或实验性的作品或人物,尤其是对于艺术、文化及政治的层面
- 东方基督教东方基督教(英语:Eastern Christianity)源自共同的基督宗教传统和教会,是发展于巴尔干半岛、东欧、西亚(小亚细亚)、东北非以及南印度的基督教派的统称,拥有数世纪的传承,与西欧所发
- 成为日本吞并琉球指的是1872年至1879年期间大日本帝国废除并吞并琉球国、设置冲绳县的一系列历史事件。明治时代日本政府将此事称为“琉球处分”(日语:琉球処分/りゅうきゅうしょぶ
- 软木软木(softwood),或称软质木,即指针叶树材,由松柏植物门的树所生成的木材,包括松树、云杉、香柏、冷杉、落叶松、花旗松、铁杉、柏树、加州红木及紫杉等。如名称所示,因其质地与阔叶