推荐去 OI-wiki 看下 计算理论基础和OI中的确定有限状态自动机。 (OI-wiki 是 面向OI 的知识库)
定义 形式语言是用精确的数学或机器可处理的公式定义的语言。 从广义上说, 形式语言是符号取自某个字母表的字符串的集合, 一个形式语言可以包含有限多或无限多字符串。
特点 界限清晰, 规则明确, 计算机容易理解。