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。<