教案离散数学(第5版)耿素云10.2-3.pptVIP

10.2 有穷自动机 确定型有穷自动机(DFA) 非确定型有穷自动机(NFA) 带? 转移的NFA(?-NFA) 确定型有穷自动机 定义 确定型有穷自动机(DFA)是一个有序5元组 M = ?Q,?,?,q0,F ?, 其中 (1) 状态集合Q: 非空有穷集合 (2) 输入字母表? : 非空有穷集合 (3) 状态转移函数?:Q?Σ→Q (4) 初始状态 q0?Q (5) 终结状态集 F?Q 控制器 an … ai … a2 a1 DFA接受的语言 把? 扩张到Q??*上 ?*:Q??*→Q, 递归定义如下 ?q?Q, a?? 和w??* ?*(q,?)=q ?*(q,wa)= ?(?*(q,w),a) 定义 ?w??*,如果?*(q0,w)?F, 则称 M接受w. M接受的字符串的全体称作M接受的语言,记作 L(M), 即 L(M)={ w??*| ?*(q0,w)?F } DFA接受的语言(续) 例1 M= ?{q0, q1},{a}, ?,q0