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

ij称该产生式是向下的；这类产生式需要替代，用Aj的侯选式将Aj替掉，若出现了直接左递归，还需要将直接左递归消除；首先考虑非终结符A1：A1→Ajw1j产生式是向上的1=j该产生式是直接左递归的；消除直接左递归对于非终结符A2:A2→Ajw2j产生式是向上的2=j直接左递归的；消除2j该产生式是向下的；这类产生式需要替代，…对于非终结符An：An→Ajwn=j消除直接左递归；nj向下的；这类产生式需要需要替代，用Aj的侯选将Aj替换掉，若出现了直接左递归，还需要将直接左递归消除；最后，删除多余的产生式，得到的文法就没有了左递归，包括直接和间接的左递归。2.10语言之间的运算及运算封闭性对简单语言进行语言的运算，可以产生复杂语言。语言对运算的封闭性如果任意的、属于某一语言类的一个或多个语言在某一特定运算下所得到的语言仍然是同类语言:该语言类对该运算具有封闭性有效封闭性根据一个或多个语言的文法,若可以构造出给定运算下所获得的同类语言的文法称此语言类对该运算是有效封闭的(有效封闭性)。问题本质:文法的构造存在文法G1和G2L1=L(G1)L2=L(G2)需要构造文法G，使得L(G)是对L1和L2进行某种运算后得到的语言。语言的有效封闭性可以证明某些语言属于某类语言，基于简单语言构造复杂的同类语言。2.10.1语言之间的基本运算若语言L1和L2是字母表∑1和∑2上的两个语言，定义语言L1和L2的联合运算为：L1UL2={w|w∈L1或者w∈L2}思考新语言的字母表是？连接语言L1和L2的连接运算为：L1L2={w|w=w1w2，w1∈L1，w2∈L2}迭代语言L1的迭代运算(或星运算、闭包运算)为：L1*={w|w=w1w2…wm，wi∈L1，m≥0}=∪L1n对n≥0注意语言L1={an|n0}，L2={bn|n0}，则L1L2是{anbm|n,m0}而不是{anbn|n0}定理2-7i(i=0，1，2，3)型语言对联合，连接和迭代运算有效封闭证明设参加运算的语言L1和L2分别是字母表∑1和∑2上的语言有用非终结符A，必须同时满足:(1)A必须出现在某个句型中(2)从A开始，能够产生终结符串（包括ε）无用的产生式如果一个产生式(产生式的左边或右边)包含有无用的非终结符，则该产生式就是无用的产生式。应该将无用的产生式删除。思考如果文法G的开始符号S是无用的非终结符号，则L(G)=?思考判断A是有用的非终结符号的算法。请参见参考文献形式语言与自动机理论（蒋宗礼姜守旭清华大学出版社）2.6推导树对于上下文无关文法，利用推导树也可以表示句子（或句型）的产生过程。例２-16S→0B|1AA→0|0S|1AAB→1|1S|0BB对于串0011的产生过程：推导过程最左推导：S=0B=00BB=001B=0011最右推导：S=0B=00BB=00B1=0011推导树表示推导S0B0BB11 2.7空串定理（自学）上下文无关文法G，存在一般的空串产生式A→ε，则存在另一个上下文无关文法G1，使得：⑴L(G)=L(G1)；⑵若ε?L(G)，则G1中没有任何空串产生式（S1就是S）；⑶若ε∈L(G)，则G1中仅有一个空串产生式S1→ε，且S1不出现在G1的产生式的右边。证明（2）因为ε?L(G)，对于任意C∈V，考虑它的任意产生式C→w（w不为空串ε），w中非终结符分为A1，A2，…Ak，B1，B2，…Bj，对于Ai，有Ai→ε1≤i≤k将C→w改造为C→w’w’是通过0步，1步，…k步删除w中的Ai而得到的，w’共有2k个。最后，去掉所有的空串产生式和无用的产生式就得到G1。考虑G产生句型β的推导树T:若β的推导中使用了空串产生式，则树T