自动机与形式语言第三章epsilon_NFA概述.ppt

* * 3.7 小结 ⑼ 2DFA是FA的又一种变形，它不仅允许读头向前移动，还允许读头向后移动。通过这种扩充，2DFA仍然与FA等价。 ⑽ Moore机和Mealy机是两种等价的带输出的FA，Moore机根据状态决定输出字符，Mealy机根据移动决定输出字符。 人有了知识，就会具备各种分析能力， 明辨是非的能力。 所以我们要勤恳读书，广泛阅读， 古人说“书中自有黄金屋。 ”通过阅读科技书籍，我们能丰富知识， 培养逻辑思维能力； 通过阅读文学作品，我们能提高文学鉴赏水平， 培养文学情趣； 通过阅读报刊，我们能增长见识，扩大自己的知识面。 有许多书籍还能培养我们的道德情操， 给我们巨大的精神力量， 鼓舞我们前进。 * * * * * * * * * * 3.5.1 FA与右线性文法 例：与下图所给的DFA等价的正则文法 q0?0q1|1qt|2qt q1?0q1|1q2|2qt q2?0qt|1q2|2q3|2 q3?0qt|1qt|2q3|2 qt? 0qt|1qt|2qt * * 3.5.1 FA与右线性文法 定理3-4 正则语言可以由FA接受。 证明： （1）构造。 基本思想：让FA模拟RG的派生。 设G=(V，T，P，S)，且ε?L(G)， 取FA M=( V∪{Z}，T，δ，S，{Z})，Z?V。 * * 3.5.1 FA与右线性文法 对?(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对应。 * * 3.5.1 FA与右线性文法 （2）证明L(M)=L(G) 对于a1a2…an-1an∈T+， a1a2…an-1an∈L(G) ? S?+ a1a2…an-1an ? S?a1A1 ? a1a2A2 ?… ? a1a2…an-1An-1 ? a1a2…an-1an ? S?a1A1，A1?a2A2，…， An-2?an-1An-1，An-1?an∈P * * 3.5.1 FA与右线性文法 A1∈δ(S，a1)，A2∈δ(A1，a2)，…， An-1∈δ(An-2，an-1)，Z∈δ(An-1，an) ? Z∈δ(S，a1a2…an-1an ) ? a1a2…an-1an∈L(M) 对于 ε，按照定理2-5和定理2-6处理。 * * 3.5.1 FA与右线性文法 例 3-10 构造与所给正则文法等价的FA： G1：E?0A|1B A?1|1C B?0|0C C?0B|1A * * 3.5.1 FA与右线性文法 δ(E，0)={A} 对应E?0A δ(E，1)={B} 对应E?1B δ(A，1)={Z,C} 对应A?1|1C δ(B，0)={Z,C} 对应B?0|0C δ(C，0)={B} 对应C?0B δ(C，1)={A} 对应C?1A * * 3.5.1 FA与右线性文法 * * 3.5.1 FA与右线性文法 推论3-1 FA与正则文法等价。 证明：根据定理3-3和定理3-4即可得到。 * * 3.5.1 FA与左线性文法 按照推导来说，句子a1a2…an-1an中的字符被推导出的先后顺序正好与它们在句子中出现的顺序相反；而按照归约来看，它们被归约成语法变量的顺序则正好与它们在句子中出现的顺序相同：a1，a2，…，an-1，an。可见，归约过程与FA处理句子字符的顺序是一致的，所以可考虑依照“归约”来研究FA的构造。 * * 3.5.1 FA与左线性文法 对于形如A?a的产生式：在推导中，一旦使用了这样的产生式，句型就变成了句子，而且a是该句子的第一个字符；按“归约”理解，对句子的第1个字符，根据形如A?a的产生式进行归约。对应到FA中，FA从开始状态出发，读到句子的第一个字符a，应将它“归约”为A。我们如果考虑用语法变量对应FA的状态，那么，此时我们需要引入一个开始状态，比如说：Z。这样，对应形如A?a的产生式，可以定义A∈δ(Z，a)。 * * 3.5.1 FA与左线性文法 按照上面的分析，对应于形如A?Ba的产生式：FA应该在状态B读入a时，将状态转换到A。也可以理解为：在状态B，FA已经将当前句子的、处理过的前缀“归约”成了B，在此时它读入a时，要将Ba归约成A，因此，它进入状态A。 * * 3.5.1 FA与左线性文法 按照“归约”的说法，如果一个句子是文法G产生的语言的合法句子，它最终应该被归约成文法G的开始符号。所以，G的开始符号对应的状态就是相应的FA的终止状态。 如何解决好开始符号