计算理论

✍ dations ◷ 2025-08-01 07:36:24 #计算理论

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

相关

葡萄膜炎虹彩炎，是葡萄膜炎的一种，是一种虹膜以及睫状体的急性发炎的眼疾。发病原因至今不甚清楚，主要是自体免疫系统的问题，很有可能是自发性或反应性关节炎。临床症状上，常会有眼睛红、
波塞东龙波塞东龙属（属名：Sauroposeidon）又名蜥海神龙，是蜥脚下目巨龙形类恐龙的一属，生存于白垩纪早期。波塞东龙是种大型四足草食性恐龙，前肢长于后肢，身体形态类似现代长颈鹿。白垩纪的
水獭水獭是一类水栖、肉食性的哺乳动物，在动物分类学中属于亚科级别，称为水獭亚科（Lutrinae），现存七个属及十三个物种。水獭亚科动物分布于全球各地。红树林的水獭生长在欧亚大陆，美洲
四方晶系四方晶系，也叫正方晶系，它具有一个4次对称轴，该轴是晶体的直立对称轴C轴，另外两个水平对称轴和C轴相互垂直相交。轴角α=β=γ=90°，轴单位a=b≠c。
糖磷脂酰肌醇糖磷脂酰肌醇（英语：Glycosylphosphatidylinositol, pronunciation 帮助·信息)，或 glycophosphatidylinositol，糖基磷脂酰肌醇，缩写 GPI）是一个短链糖脂，可以连接到蛋白质的C端，作
印度帝国英属印度（英语：British India 或 British Raj）是指英国在1858年到1947年间于印度次大陆（南亚）建立的殖民统治区域，包括今印度共和国、孟加拉国、巴基斯坦以及缅甸。自1858年开始，由
排和平期间罕见军事强国有实力编制普通国家有实力编制排（英语：Platoon）是陆军、海军陆战队等军种的编制，一般为25至60人。由若干个班组成。譬如在三三制当中，一个排由排部、三个班
卢图利艾伯特·约翰·卢图利（Albert John Lutuli，1898年－1967年7月21日），祖鲁语名Mvumbi，是一位南非籍教师和政治家。卢图利曾任南非非洲人国民大会（ANC）党主席，领导反对南非白人少数派政府
触摸屏触控萤幕（英语：Touchscreen），是可以接收触头（包括手指或者胶笔头等）等输入信号的感应式LED显示器、液晶显示、平板屏幕或电子墨水设备。当接触了屏幕上的图形按钮时，屏幕上的触觉反
速溶咖啡速溶咖啡是一种由咖啡豆制造的冲泡饮品。速溶咖啡在1890年由新西兰人 David Strang所发明并登记专利，1901年由一个在美国芝加哥工作的日本科学家加藤サトリ做改良。乔治·华