形式语言总结.docVIP

语言L(G)={w | w∈T*且S→* w} 句子终极符号行，它不含语法变量 w∈L(G)，w称为G产生的一个句子。 句型符号行，它可能含有语法变量 G=(V，T，P，S)，对于?α∈(V∪T)*，如果S→* α，则称α是G产生的一个句型。 文法G=(V，T，P，S)。任意A∈V表示集合L(A)={w | w∈T*且A →* w}。 推导与归约。文法中的推导是根据文法的产生式进行的。如果α→β∈P，γ，δ∈(V∪T)*，则称γαδ在G中直接推导出γβδ：γαδ?G γβδ；也称γβδ在文法G中直接归约成γαδ。 →xy|xDy}来实现。 设有两个文法G1和G2，如果L(G1)= L(G2)，则称G1与G2等价。 例文法G：S→abc | aSbc产生的语言为：{an(bc)n | n≥1} G14：S→aBC | aSBC， CB→BC aB→ab bB→bb bC→bc cC→cc 如果对于?α→β∈P，均有|β|≥|α|成立，则称G为1型文法或上下文有关文法CSG)。 如果对于?α→β∈P，均有|β|≥|α|，并且α∈V成立，则称G为2型文法，或上下文无关文法CFG)。 如果对于?α→β∈P，α?β均具有形式A→wA→wB,其中A，B∈V，w∈T+。RG) FA) M=(Q，∑，δ，q0，F)L(M)={x| x∈∑*且δ(q，w)∈F} 设DFA M=(Q，∑，δ，q0，F) 例 5-3 证明{0n1m2n+m|m，n≥1}不是 RL。 证明：假设L={0n1m2n+m|m，n≥1} 是 RL。 取z=0N1N22N 设 v=0k k≥1 从而有， uviw=0N-k-j(0k)i0j1N22N =0N+(i-1)k1N22N uv0w=0N+(0-1)k1N22N = 0N-k1N22N 注意到k≥1， N-k+N=2N-k2N 0N-k1N22N ?L 这个结论与泵引理矛盾。所以，L不是 RL。 设R是∑*上的等价关系，对于?x，y∈∑*，如果x RL y，则必有xz RL yz对于?z∈∑*成立，则称R是右不变的等价关系。 对于任意X∈V∪T，如果X是有用的，它必须同时满足如下两个条件： ① 存在w∈T*，使得X→*w； ② α，β∈(V∪T)*，使得S→*αXβ。 CNF乔姆斯基范式文法CFG G=(V，T，P，S)中的产生式形式：A→BC，A→a其中，A、B、C∈V，a∈T。不允许有ε-产生式、单一产生式。 对于任意CFG G，ε→L(G)，存在等价的 CNF→G2 格雷巴赫范式文法GNF→aα ,其中，A∈V，a∈T，α∈V* 。在GNF中，有如下两种形式的产生式A→a; A→aA1A2…Am (m≥1) 推自动机PDA)M= (Q，∑，Γ，δ，q0，Z0，F) ID) (q，w，γ)∈(Q，∑*，Γ*)称为M的一个即时描述。 ，构造下列语言的文法。 (6) 。 解答： 。 (7) 。 解答： (8) 。 解答： 。 构造满足下列要求的RG G，并证明你的结论。 构造下列语言的DFA （5）{x|x({0，1}+且x中含形如10110的子串} 11）{x|x({0，1}+且如果x以1结尾，则它的长度为偶数；如果x以0结尾，则它的长度为奇数} 可将{0，1}+的字符串分为4个等价类。 q0： [(]的等价类，对应的状态为终止状态 q1:x的长度为奇且以0结尾的等价类 q2：x的长度为奇且以1结尾的等价类 q3: x的长度为偶且以0结尾的等价类 q4: x的长度为偶且以1结尾的等价类 给出你所画出的DFA的每个状态q的set(q):set(q)={x|x(Σ*且δ(q0,x)=q} set(q0)={3*} set(q1)={ 3*1} set(q2)={ 3*100*} set(q3)={ 3*111*} set(q)={( 3*0|3*13|3*100*(1|3)|3*111*(0|3)) 0*1*3*} 例 7-1 考虑接受语言L={w2wT | w∈{0,1}*}的PDA的设计。 解法1： 先设计产生L的CFG G1： G1：S?2|0S0|1S1 再将此文法转化成GNF： G2：S?2|0SA|1SB A?0 B?1 M1=({q0}，{0，1，2}，{S，A，B}，δ1，q0，S，Φ)。其中： δ1(q0，0，S)={(q0，SA)} δ1(q0，1，S)={(q0，SB)} δ1(q0，2，S)={(q0，ε)