m0_53314564的博客

转载 形式语言与自动机理论学习笔记1

形式语言与自动机理论学习笔记1 计算理论 核心问题： 计算机的基本能力和限制是什么？ 1. 究竟哪些问题，可通过计算解决？（或者说计算作为一种能力是否有边界？）——可计算理论 2. 解决可计算的问题，究竟需要多少资源？（也就是计算所用时间和所占的空间会达到怎样的程度？）——可计算性理论 3. 为了研究计算，要用到哪些计算模型？（这些模型都是高度抽象出来的）——形式语言与自动机理论 什么是自动机理论？ 自动机理论：研究抽象机器及其所能解决问题的理论.（以这些抽象的计算装置为研究对象，分析这些装置所