形式语言与自动机 复习知识点总结 CH2

2.2 确定的有穷自动机

2.2.1 确定的有穷自动机
→一个读头
→一个有穷控制器（Finite Control）
→一条输入带

2.2.2 有穷自动机的识别
在扫描输入的字符串之前, 读头在输入串的第一个字符下面, 然后从左向右， 一次一个单元格的读入字符, 移动读头, 并修改状态, 然后自动的循环这个过程, 直到扫描完整 个字符串之后, 通过有穷控制器中的当前状态, 对这个字符串进行判断, 回答有两种: 接受或 拒绝.

2.2.3 确定的有穷自动机 Deterministic Finite Automaton
A = (Q,Σ,δ,q0,F)
Q：有穷状态集
Σ：有穷输入符号集或字母表
δ：Q×Σ → Q, 状态转移函数
q0 ∈ Q：初始状态
F∈ Q：终结状态集或接受状态集
若输入串全部读入 后, 处于接受状态, 那么自动机接受这个输入串, 否则拒绝该串

2.2.4 DFA的表示
1）A五元组
2）状态转移图
3）状态转移表

状态转移图

1. 每个状态 q 对应一个节点, 用圆圈表示;
2. 状态转移 δ(q,a) = p 为一条从 q 到 p 且标记为字符 a 的有向边;
3. 开始状态 q0 用一个标有 start 的箭头表示;
4. 接受状态的节