计算理论

✍ dations ◷ 2025-12-07 12:58:12 #计算理论

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

相关

多西环素-5,10,11,12a-tetrahydroxy-6-methyl- 4a,5,5a,6-tetrahydro-4H-tetracene-1,3,12-trione多西环素（其国际非专利药品名称为“Doxycycline”）也称为“强力霉素”“伟霸霉素”
尿苷尿苷（Uridine）是一种属于核苷的化合物，由尿嘧啶与核糖（呋喃核糖）环组成，两者由β-N1-配糖键相连。
离解离解又称解离，在化学中，指化合物分裂而形成离子或原子团的过程。例如，醋酸（CH3COOH）溶于水，离子键断裂即形成醋酸根离子（CH3COO−）。而其中的氢原子则变为一个氢离子（实际上是一个质
下载下载在计算机网络中指从一个远程系统接收数据，该系统通常为一个服务器，例如网页服务器、FTP服务器、电子邮件服务器，或者其他的类似系统。与之相对的是上传（也称上传），它是指将数
粘著语素规范语素（英语：Bound morpheme）又称不自由语素、黏着语素，在语言学中，指不能独立存在，必须附属于其他语素或词根的语素。与此相对的是自由语素。以英语为例，大多数词缀都是规范语
埃埃格斯特朗（Ångström, 简称埃，符号Å）是一个长度计量单位。它不是国际制单位，但是可与国际制单位进行换算，即1 Å = 10–10 米 = 0.1纳米。一般用于原子直径、化学键长和可见光
地基地基是指建筑物下面支承基础的土体或岩体。作为建筑地基的土层分为岩石、碎石土、砂土、粉土、黏性土和人工填土。当土层的地质状况较好，承载力较强时可以采用天然地基；而在地
卫星卫星，是环绕一颗行星按闭合轨道做周期性运行的天体。如地球的卫星是月球。不过，如果两个天体的质量相当，它们所形成的系统一般称为双行星系统，而不是一颗行星和一颗天然卫星。通
失误错误（error）是指进行的一个在该功能系统中相对于最佳或正常状态、方式，有所偏差的操作。一般常见的错误有：分类的错误、统计学的错误、物理学与测量学的错误、机械的错误、软件
非线性回归在统计学中，非线性回归是回归分析的一种形式，其中观测数据由函数建模，该函数是模型参数的非线性组合并且取决于一个或多个独立变量。通过逐次逼近的方法拟合数据。在非线性