形式语言与自动机ch3.4-3.6分析.pptVIP

* * College of Computer Science Technology, BUPT ?构造G＝（N，T，P，S） 其中N＝N1 U N2，S＝S1， 生成式P为: 若A-αB ∈P1，则它也属于P 若A-α∈P1，则A-αS2∈P P2 ? P 先证 L(G1). L(G2) ? L(G) 若有任意S1 ＝* ω1 与 S2 ＝* ω2 分别属于G1和G2定义的语言中， 那么有 S1 ＝α1A ＝α2B ＝α3C ＝… ＝ ω1 和 S2 ＝ β1A1 ＝ β2B2 ＝ β3C3 ＝… ＝ ω2 ， ∴ S ＝ S1 ＝ α1A ＝α2B ＝α3C ＝… ＝ ω1.S2 ＝ * ω1. ω2 ∴ L(G1). L(G2) ? L(G) (b). 求证L1L2是右线性语言 * * College of Computer Science Technology, BUPT ??再证 L(G) ? L(G1). L(G2) 若有S ＝ S1 ＝ α1A ＝α2B ＝α3C ＝… ＝ ω1.S2 ＝ * ω1. ω2 那么则必然在G1和G2中同时有 S1 ＝α1A ＝α2B ＝α3C ＝… ＝ ω1 和 S2 ＝ β1A1 ＝ β2B2 ＝ β3C3 ＝… ＝ ω2 ∴ L(G) ? L(G1). L(G2) 命题得证