这篇博客详细介绍了有限自动机（DFA与NFA）的概念，包括它们的图表示、可接受的字符串、转换规则，并探讨了正则运算如union的封闭性。同时，讲解了非正则语言与Pumping Lemma，以及如何将决策问题与优化问题相互转化。
1 几个概念
| 字母表Σ | 一组非空、有限数量的元素（英文翻译为symbol）组成的集合
|
| 字母表的字符串 | 这个字母表中元素组成的有限长度的序列 |
| ε | 长度为0的字符串（空串） |
| X和y的拼接 （concatenation） | 如果x和y是字符串，那么xy就是x和y的拼接 拼接的性质：结合律、无交换律、幺性
|
| 语言（language） | 一组字符串 |
2 有限自动机
2.1 确定有限自动机 （Deterministic Finite Automata (DFA)）
一个确定有限自动机（DFA）是一个五元组：
| Q | 有限元素组成的集合，称之为状态集 |
| Σ | 有限元素组成的集合，称之为字母表 |
| δ |  状态转换方程 |
 |
起始状态 |
 |
可接受状态（accept states） |
2.1.1 图表示DFA
每条有向边上的字符——组成了字母表
对每一个状态（图中的节点）q、每一个字母表Σ中的元素a，有且只有一条标记为a的边离开q。<
最低0.47元/天 解锁文章
450
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
