形式语言与自动机理论--第六章（蒋宗礼）.ppt

6.2.2 去ε-产生式 定理 6-7 对于任意CFG G，存在不含ε-产生式的CFG G′使得L(G′)=L(G)-{ε}。 证明： (1) 构造 设CFG G=(V，T，P，S) ， 用算法6-3求出G的可空变量集U， 构造P′。 6.2.2 去ε-产生式 对于 ?A?X1X2…Xm∈P 将A?α1α2…αm放入P′，其中 if Xi∈U then αi=Xi或者αi=ε； if Xi?U then αi=Xi 要求：在同一产生式中，α1，α2，…，αm不能同时为ε。 6.2.2 去ε-产生式 证明对于任意w∈T+，A?nG w的充分必要条件是A。 必要性：设A?nG w，施归纳于n，证明A?mG′ w成立。 当n=1时，由A?G w知，A?w∈P，按照定理所给的构造G′的方法，必定有A?w∈P′。所以，A?G′ w成立。 6.2.2 去ε-产生式 设n≤k时结论成立(k≥1)，当n=k+1时 A?X1X2…Xm ?*G w1X2…Xm ?*G w1w2…Xm … ?*G w1w2…wm 其中w1w2…wm=w，且w1，w2，……，wm∈T*。 6.2.2 去ε-产生式 注意到w≠ε，必存在1≤i≤m，wi≠ε，设i，j，…，k是w1，w2，…，wm中所有非空串的下标，并且1≤i≤j≤…≤k≤m，即： w= wiwj…wk 按照G′的构造方法，A? XiXj…Xk∈P′ 再由归纳假设， Xi?*G′ wi，Xj?*G′ wj，…，Xk?*G′ wk。 6.2.2 去ε-产生式 A?*G′ XiXj…Xk ?*G′ wiXj…Xk ?*G′ wiwj…Xk … ?*G′ wiwj…wk 所以，结论对n=k+1成立。由归纳法原理，结论对所有的n成立。 6.2.2 去ε-产生式 充分性：设A?mG′ w，施归纳于m，证明A?nG w成立。 当m=1时，由A?G′ w知，A?w∈P′，按照定理所给的构造G′的方法，必定有A?α∈P。A?w是通过删除产生式A?α右部中的可空变量而构造出来的，所以， A?G α?*G w 成立。 6.2.2 去ε-产生式 设n≤k时结论成立(k≥1)，当m=k+1时 A?*G′ XiXj…Xk ?*G′ wiXj…Xk ?*G′ wiwj…Xk … ?*G′ wiwj…wk=w 其中Xi?*G′ wi，Xj?*G′ wj，…，Xk?*G′ wk 。 6.2.2 去ε-产生式 表明A? XiXj…Xk∈P′。按照G′的构造方法，必定存在A? X1X2…Xm∈P′，而且 {Xi，Xj，…，Xk}?{X1，X2，…，Xm} {X1，X2，…，Xm}-{Xi，Xj，…，Xk}?U 从而， A?G X1X2…Xm ?*G XiXj…Xk 6.2.2 去ε-产生式 再根据Xi?*G′ wi，Xj?*G′ wj，…，Xk?*G′ wk和归纳假设，有 Xi?*G wi，Xj?*G wj，…，Xk?*G wk。 这表明，如下派生成立： A?G X1X2…Xm ?*G XiXj…Xk ?*G wiXj…Xk ?*G wiwj…Xk … ?*G wiwj…wk=w 6.2.2 去ε-产生式 表明结论对m=k+1成立。由归纳法原理，结论对任意m成立。 注意到A 的任意性，当S=A时结论成立。即： S?*G w 的充分必要条件是S?*G′ w 亦即：L(G′)=L(G)-{ε}。 定理得证。 6.2.3 去单一产生式 文法Gexp1：E?E+T|E-T|T T?T*F|T/F|F F?F↑P|P P?(E)|N(L)|id N?sin|cos|exp|abs|log|int L?L,E|E 存在派生： E?T?F?P?id 6.2.3 去单一产生式 Gexp3：E?E+T|E-T|T*F|T/F|F↑P|(E)|N(L)|id T?T*F|T/F| F↑P| (E)|N(L)|id F?F↑P| (E)|N(L)|id P?(E)|N(L)|id N?sin|cos|exp|abs|log|int L?L,E|E 该文法中不存在类似的派生。 6.1.1 上下文无关文法的派生树 定理6-3 如果α是CFG G的一个句型，α的派生树与最左派生和最右派生是一一对应的，但是，这棵派生树可以对应多个不同的派生。 6.1.2 二义性 简单算术表达式的二义性文法 Gexp2： E?E+E|E-E|E/E|E*E E? E↑E|(E)|N(L)|id N?sin|cos|exp|abs|log|int L?L,E|E 6.1