推荐去 OI-wiki 看下 计算理论基础和OI中的确定有限状态自动机。
（OI-wiki 是 面向OI 的知识库）
什么是形式语言
定义
形式语言是用精确的数学或机器可处理的公式定义的语言。
从广义上说， 形式语言是符号取自某个字母表的字符串的集合， 一个形式语言可以包含有限多或无限多字符串。
特点
界限清晰， 规则明确， 计算机容易理解。
标签：wiki,OI,形式语言,有限,基本知识,字符串,自动机
来源： https://www.cnblogs.com/tztqwq/p/12803416.html