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

* * * * * * * * * 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