OI中各种有限状态自动机自动机算法所涉及的部分基本知识整理

推荐去 OI-wiki 看下 计算理论基础和OI中的确定有限状态自动机。
（OI-wiki 是 面向OI 的知识库）

---

什么是形式语言

定义
形式语言是用精确的数学或机器可处理的公式定义的语言。
从广义上说， 形式语言是符号取自某个字母表的字符串的集合， 一个形式语言可以包含有限多或无限多字符串。

特点
界限清晰， 规则明确， 计算机容易理解。

---