有限自动机理论02章形式语言.ppt

若文法G产生句子x1x2…xn 则文法G′产生句型x1′x2′…xn′ 再得到句子Lx1Lx2…Lxn 所以文法G′产生语言g(L)，也是上下文无关的语言。 文法G:S →aSb|ab L(G)=anbn 若 g(a)=0*，g(b)=1 构造文法：S → a′S b′ |a′b′ a′ →ε|0 a′ b′ →1 产生语言{0}*{1}+ 定理2-11 3型语言对于置换映射是封闭的。 证明： 略。 2.11 正则表达式和正则集 有效自动化是计算学科的重点问题 有效自动化的基础： 对问题恰当的形式化描述 可以使用正则表达式来表示正则的语言 优势 这种表达形式还更接近语言的集合表示和语言的计算机表示。 语言的集合表示形式使得更容易理解和使用； 而适合计算机的表示形式又使得它更容易被计算机系统处理。 本节介绍正则表达式和它表示的正则集。 定义2-16 正则集的定义 L是字母表∑上的语言 1) 若L是有限的，则L是正则的 2)或 L能够由下列运算递归地产生： 思考： 若∑1∩∑2=Ф 是否有串道的可能 ？ 若∑1∩∑2 ≠ Ф 是否可以简化P′和P″ ？ 迭代运算（一元运算） 基本思路： 空句子, 迭代 若S→ε|S1S S 在产生式右边，封闭性存在问题 迭代运算 考虑文法 S→ε|S′ S′→S1|S1S′ 则S推导出ε和S1n(n≥1) 迭代运算 构造G8=(∑，V1U{S，S′}，S，P8) 其中P8为： {S→ε|S′} U{S′→S1|S1S′} UP1 迭代运算 若G1是2型文法，则G8也是2型文法； 且 S=*L(G1)* 所以2型语言对迭代封闭。 若G1是0、1型文法， 文法G8可能也会有串道问题。 如 S1→abS1|S1a bS1→bb S1a→c 迭代运算 消除G1中的空串产生式 将∑1复制为∑′和∑″ 将V1复制为V′和V″ 构造P′和P″ 将P1中的x用x′代替 将P1中的A用A′代替 得到P′ 将P2中的x用x″代替 将P2中的A用A″代替 得到P″ 构造 G′= (∑,V′ U∑′ U {S′}-{S1},S′,P′) 并 将S1改写S′ G″= (∑,V″U∑″U {S″}-{S1},S″,P″) 并 将S1改写S″ 迭代运算 构造G9=(∑, V′U V″ U∑′U ∑″ U {S,S′,S″, S1，S2}, S，P9) 其中P9为： {S→ε|S1|S2} U{ S1→S′|S′S2} U{ S2→S ″ | S ″ S1} UP′UP″ U {x′→x|x∈∑}U{x″→x |x∈∑} 注意:原来的S1改写为S′和 S ″ 为避免串道，需要S′和 S ″交替出现，有两种可能： S1推导出S′ S ″ S′ S ″ … S′ S ″ 或 S′ S ″ S′ S ″ … S′ S2推导出S ″ S′ S ″ S′ … S ″ S′ 或 S ″ S′ S ″ S′ … S ″ 迭代运算 则L(G9)=L(G1)*；所以0型和1型语言对迭代封闭。 迭代运算 对于3型文法，引入新的开始符号S和S→ε来产生空串ε（若在P1中有S1→ε，则删除S1→ε） 增加S→r (S1→r 在P1中) 以便开始推导(r=wB 或 r=w) 迭代运算 对于每个形如A→w的产生式，增加 A→wS1（不删除A→w） 从S开始，可以推导出句型 r1r2…rkA 其中：r1，r2，…，rk ∈L1 可以在推导出r1r2…rkw时停止， 也可以从r1r2…rkwS1开始推导出另一个更长的串， 直至L(G1)* 迭代运算 G1是3型文法，构造 G10=（∑，V1U{S}，S，P10） 其中P10为： 迭代运算 {S→ε} U (P1 - {S1→ε} ) U { S→r | S1→r在P1中} U {A→wS1|若A→w(包括S→w)} G10也是RG，且L(G10)=L(G1)*；所以3型语言对迭代封闭。 结论 不论字母表 ∑1∩∑2＝Ф 或 ∑1∩∑2≠Ф（包括∑1=∑2 ） 四类语言对联合、连接和迭代运算是有效封闭的。 2.10.3 语言之