计算理论

✍ dations ◷ 2025-11-30 23:10:30 #计算理论

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

相关

哲罗姆哲罗姆，天主教译圣热罗尼莫或圣叶理诺，也译作圣杰罗姆（约340年－420年；英文：Jerome（以前叫 Saint Hierom）；拉丁文：Eusebius Sophronius Hieronymus；希腊文：Εὐσέβιος Σωφρόν
中时电子报中时电子报是中国时报集团旗下的电子报，目前隶属于时报资讯。时报资讯成立于1989年，是台湾第一家取得加值网络服务执照的公司；中时电子报则在1995年创立，是台湾历史上最为悠久的
丨丨部，是为汉字索引中的部首之一，康熙字典214个部首中的第二个（一划的则为第二个）。就繁体和简体中文中，丨部归于一划部首。丨部只以中间为部字。且无其他部首可用者将部首归为丨
意大利文化意大利文化是指意大利半岛与周围地区形成的文化。从古代到16世纪为止，意大利都是西方文化的核心，也是伊特拉斯坎文明、古罗马、罗马天主教、人文主义和文艺复兴运动的起源。在
趋磁细菌趋磁细菌（英语：Magnetotactic bacteria，缩写MTB）是细菌中的一个多系群，由Richard P. Blakemore于1975年发现，能感应地磁场的磁感线。为达到这一功能，这些细菌拥有一个叫作磁小体的
威廉·哈金斯威廉·哈金斯爵士（英语：Sir William Huggins，1824年2月7日－1910年5月12日），英国皇家学会院士，功绩勋章、巴斯勋章得主，是英国最著名的天文学家之一，在1900至1905年间担任皇家学会的主
菜椒菜椒（学名：Capsicum annuum var. grossum），别名甜椒，因其体型宛如灯笼及柿子而也叫“灯笼椒”或“柿子椒”（台湾话则常作“大筒仔”），又因其外皮多为绿色而俗称“青椒”，是茄科辣椒属
儿婿婿（拼音：xù，注音：ㄒㄩˋ）意思是妻子对自己丈夫的称谓，也可以是女儿、妹妹及其他晚辈的丈夫。女婿则常指女儿的丈夫，有时也指代自己的丈夫。按《说文解字》，“婿”通“壻”，古时女子
风水学传统宗教仪式：神明秘密社会：风水，为五术之一的相术中的相地之术，即临场校察地理的方法，叫地相，古代称勘舆术，目的是用来选择宫殿、村落选址、墓地建设等方法及原则。原意是选择合适
综述文章综述文章（英语：review article）是一类对某主题研究现状进行归纳、总结的文章。这种文章通篇引用其他人的原创研究成果，不发表自己的原创研究，因此是一种二次文献。许多学术期刊专