第03章有穷状态自动机-1221节课-2011-10-22.ppt

3.4 带空移动的有穷状态自动机 修改条件 接受语言{0n1m2k|n，m，k≥0}的NFA 对NFA进行修改 接受语言{0n1m2k|n，m，k≥0}的NFA是否可以构造成下图所示的“ε-NFA ”？ 定义3-9 带空移动的不确定的有穷状态自动机(non-deterministic finite automaton with ?-moves, ?-NFA) M是一个五元组： M = (Q, ?, ?, q0, F) 其中，Q, ?, q0, F 状态的意义同DFA (定义3-1)。 ? —状态转移函数。 ? : Q? (??{?}) ? 2Q。 定义3-9(续) 非空移动 ?(q，a)∈Q×∑ δ(q，a)= {p1，p2，…，pm} 表示M在状态q读入字符a，可以选择地将状态变成p1、p2、…或者pm ，并将读头向右移动一个带方格而指向输入字符串的下一个字符。 定义3-9(续) 空移动 ?q∈Q δ(q，ε)= {p1，p2，…，pm} 表示M在状态q不读入任何字符，可以选择地将状态变成p1、p2、…或者pm 。 也可以叫做M在状态q做一个空移动(又可以称为ε移动)，并且选择地将状态变成 p1、p2、…或者pm。 扩充? 进一步扩充δ的定义域：Q×∑*?2Q。