一、基本概念1.字母表：符号（字符）的非空有穷集。 Σ₁={0, 1}，这个字母表可以构建所有的二进制数组成的语言 Σ₂={a, b, ... , z}，这个字母表可以构建由小写英文字母组成的语言 Σ₃={x∣x是一个汉字}，这个字母表可以构建汉语这样的语言2.字符串：由某字母表中符号组成的有穷序列。 若Σ₁={0, 1}，那么0，1，00，111001为Σ₁上的字符串； 若Σ₂={a, b, ... , z}，那么ab，xkcd为Σ₂上的字符串。3.空串：记为ε，有0个字符的串。 字母表Σ可以是任意的，但都有...

作为计算机科学的核心，计算理论的重心经历了从数学转移到计算机科学的过程。计算机科学关心的核心问题：计算机的基本能力和限制是什么？ 这个问题包含了两个内容，分别对应计算理论的两个重要研究方向。一个是可计算性理论，一个是计算复杂性理论，形式语言与自动机理论正是这两个重要研究方向的理论基础。 可计算性理论：究竟哪些问题，可通过计算解决？ 计算作为一种能力，是否有边界？是不是任何问题都可以通过计算来解决？为什么？ 为了能够严谨的研究这种机械而又有效的计算过程，我们需要严格定义的概念去描述它，需要严谨的计算模型去分析它。这些模型就是自动机理论，而这个概念就是算法。 欧几里得...

😎要成为公司里最会写HQL的男人~