形式语言与自动机-有限自动机原理.ppt

2.10.3 语言之间的其他运算 定理2-8 右线性语言对于补和交运算是封闭的。 该定理的证明需要使用自动机的知识，留待今后证明。 定理2-9 上下文无关语言对于补和交运算不是封闭的。 证明：举一个反例即可 上下文无关语言 L1={anbncm|n,m0} 上下文无关语言 L2={aibkck|i,k0} 它们的交集为L={anbncn|n0} 不是上下文无关语言（是一个上下文相关语言）。 语言，还有一个运算—置换（自学）。 定义2-15 (上下文无关)置换 一个映射g为置换映射： X*→Y* (X和Y当作字母表) 若 g(ε)=ε，且对n≥1； g(w1w2…wn)=g(w1)g(w2)…g(wn) 其中 g(wi)=y∈Y* 或 g(wi)={y1 ,y2 ，…} yi∈Y* 特别地，若g(wi)=y∈Y* 则g称为同态。 同态可以映射为ε或者是一个串 若|y|=1 同态仅仅只改变了成分的名字 g(L) 若L是字母表∑上的一个语言，则 g(L)=Ug(w) 其中w∈L 例 ∑={a，b}，g(a)=0*，g(b)=1 若语言L={aba}*，则 g(L) ={0*10*}* g({a}*) = g(ε)Ug(a)Ug(aa)U… Ug(a…a)=(g(a))* g(L*)= (g(L))* 定理2-10 上下文无关语言对于置换映射是有效封闭的。 证明： 2型文法G=(∑,V,S,P)产生语言L g是一个置换映射： g(xi)=Lxi 其中，xi∈∑ 构造∑′，将文法G改造为 G′=(Y，V U ∑′，S，P′) 将G产生式中的终结符x替换为x′ 增加产生式，使得每个 x′=+ Lxi 得到P′ 若文法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能够由下列运算递归地产生： 若L1和L2是正则的，且L=L1UL2 若L1和L2是正则的，且L=L1L2 若L1是正则的， 且L=L1* 则L也是正则的。 思考 若L1是正则的，且L=L1+ L是否是正则的？ 语言L={anbn|n0} 是否是正则的？ 若一个语言是正则的， 该语言也称为正则集。 例 下列语言是正则的： 空集?和空串的集合{ε} 语言{ab，a}*也是正则的，因为是正则的语言经过运算得到的。 定义2-17 正则表达式 　正则表达式R和它所表达的正则集S(R)的定义 ?是正则表达式，S(?)= ? ε是正则表达式，S(ε)={ε} a∈∑，则a是正则表达式 S(a)={a} 若R1和R2是正则表达式，则 (R1+R2)是正则表达式， S(R1+R2)=S(R1)US(R2) 若R1和R2是正则表达式，则 (R1R2)是正则表达式， S(R1R2)=S(R1)S(R2) 若R是正则表达式，则(R)*是正则表达式， S((R)*)=(S(R))* 注意()的使用 R=ab R* =(ab)* ≠ab* 连接运算 将P1每个形如A→w的产生式改写为 A→wS2 则从S1=+ r1r2…rkA =r1r2…rkwS2=+w1w2 其中，r1r2…rkw ∈L1 连接运算 L(G6)=L(G