FA和正则语言FA变形.pptVIP

FA与正则语言FA的变形 付国宏 黑龙江大学计算机科学技术学院ghfu@hlju.edu.cn 提纲 主要内容 FA是RL的识别器 FA与右线性文法的等价转换 FA与左线性文法的等价转换 FA的变形 双向有穷状态自动机 带输出的FA：Moore机、Mealy机 重点 从DFA构造右线性文法、FA接受的语言是RL 难点 定理3-3的证明的理解 FA与右线性文法的对应 DFA M=(Q,?,?,q0,F)，处理句子a1a2…an的特性 M按照句子a1a2…an中字符的出现顺序，从开始状态q0开始，依次处理字符a1、a2、…、an； 每次处理且仅处理一个字符：第i步处理输入字符ai 对应于状态转移函数?(q,a)=p的处理，相当于是在q完成对a的处理，然后由p接下去实现对后续字符的处理； 当?(q,a)=p?F，且a是输入串的最后一个字符时，M完成对此输入串的处理。 FA与右线性文法的对应(cont.) 右线性文法推导句子a1a2…an的过程 A0?a1A1 对应产生式A0?a1A1 ?a1a2A2 对应产生式A1?a2A2 … ?a1a2…an-1An-1 对应产生式An-2?an-1An-1 ?a1a2…an-1an 对应产生式An-1?an 从DFA构造右线性文法 基本思想：让RG的派生模拟DFA的移动 设DFA M=(Q, ?, ?, q0, F)，构造右线性文法 G=(Q, ?, P, q0) G的非终结符集合对应M的状态集； G的终结符集对应M的输入字母表； G的开始符对应M的开始状态； G的产生式 P={q?ap|?(q, a)=p}∪{q?a|?(q, a)=p?F} 从DFA构造右线性文法(cont.) 例：构造下图所示的DFA M等价的右线性文法G 从DFA构造右线性文法(cont.) 定理 3-3 FA接受的语言是正则语言 证明： (1) 构造 设DFA M=(Q, ?, ?, q0, F)， 构造右线性文法 G=(Q, ?, P, q0)， P={q?ap|?(q, a)=p}∪{q?a|?(q, a)=p?F} 从DFA构造右线性文法(cont.) (2) 证明 L(G)=L(M)-{?} 对于a1a2…an-1an∈∑+，以下等价关系式成立： q0?+ a1a2…an-1an //a1a2…an-1an?L(G) ? q0?a1q1, q1?a2q2, …, qn-2?an-1qn-1, qn-1?an?P；//文法的推导定义 ? ?(q0, a1)=q1, ?(q1, a2)=q2, …, ?(qn-2, an-1)=qn-1, ?(qn-1, an)=qn, 且qn?F ；//文法G的构造 ? ?(q0，a1a2…an-1an)= qn?F //DFA的定义：句子的识别 ? a1a2…an-1an?L(M) //DFA识别的语言的定义 即：a1a2…an-1an?L(G) ? a1a2…an-1an?L(M) 从DFA构造右线性文法(cont.) (3)关于ε句子 如果q0?F，则??L(M)，L(G)=L(M)； 如果q0?F， 则由定理2-6和定理2-7，存在正则文法G?，使得L(G?)=L(G) ∪{?}=L(M)； 综上所述，对于任意DFA M，存在正则文法G，使得L(G)=L(M)，定理得证。 从右线性文法构造FA 构造的基本思想：让FA的移动模拟RG的派生 构造方法 设G=(V, T, P, S)，且??L(G)， 构造FA M=(Q, ?, ?, q0, F) Q=V∪{Z}，Z?V； ? =T； q0 =S； F={Z}； ?：对?(a, A)?T?V {B|A?aB?P}∪{Z} 如果A?a?P ?(A, a)= {B|A?aB?P} 如果A?a?P 用B??(a, A)与产生式A?aB对应； 用Z?? (a, A)与产生式A?a对应。 从右线性文法构造FA (cont.) 例3-10 构造与所给正则文法等价的FA 从DFA构造右线性文法(cont.) 定理3-4 正则语言可以由FA接受 证明： (1) 构造 设G=(V, T, P, S)，且ε?L(G)， 取FA M=( V∪{Z}, T, ?, S, {Z})，Z?V 对?(a, A)?T?V ?(a, A)={B} ? 产生式A?aB； ?(a, A)={Z} ? 产生式A?a； 从DFA构造右线性文法(cont.) (2) 证明L(M)=L(G) 当??L(G)时，对于x=a1a2…an-1an?T+，存在以下等价式 a1a2…an-1a