高校问答信乐团 千年之恋:计算理论
来源：百度文库 编辑：高校问答 时间：2024/05/04 14:31:33
计算理论: (theory of computation)
计算理论是关于计算和计算机械的数学理论。
主要内容包括：
1.算法(algorithm)：解题过程的精确描述
2.算法学(algorithmics)：系统的研究算法的设计，分析与验证的学科
3.计算复杂性理论(computational complexity theory)：用数学方法研究各类问题的计算复杂性学科。
4.可计算性理论(computability theory)：研究计算的一般性质的数学理论。
5.自动机理论(automata theory)：以研究离散数字系统的功能和结构以及两者之关系为主要 内容的数学理论。
6.形式语言理论：用数学方法研究自然语言和人工语言的语法理论。