考虑下图所示的NFAN，构造可以生成语言L（N)的一个正规文法。

正规文法不能产生语言L={anbn|n≥l｝。()

不存在任何正规文法能产生语言L={anbn|n>=1}。()

上下文无关文法可以产生语言L={anbnci|i>=1,n>=1}。()

● 程序语言的大多数语法现象可用上下文无关文法描述。对于一个上下文无关文法Ｇ=(N，T，P，S)，其中 N是非终结符号的集合，T 是终结符号的集合，P是产生式集合，S 是开始符号。令集合 V= N∪T，那么 G 所描述的语言是 （50） 的集合。

（50）

A. 从 S出发推导出的包含 V中所有符号的串

B. 从 S出发推导出的仅包含 T 中符号的串

C. N中所有符号组成的串

D. T 中所有符号组成的串

● 程序语言的大多数语法现象可用上下文无关文法描述。对于一个上下文无关文法Ｇ=(N，T，P，S)，其中 N是非终结符号的集合，T 是终结符号的集合，P是产生式集合，S 是开始符号。令集合 V= N∪T，那么 G 所描述的语言是 （50） 的集合。

（50）

A. 从 S出发推导出的包含 V中所有符号的串

B. 从 S出发推导出的仅包含 T 中符号的串

C. N中所有符号组成的串

D. T 中所有符号组成的串

1. 文法G＝({A,B,S},{a,b,c},P,S), 其中P 为： S→Ac|aB A→ab B→bc 写出L(G[S])的全部元素。 2. 文法G[S]为： S→Ac|aB A→ab B→bc 该文法是否为二义的？为什么？ 3. 考虑下面上下文无关文法： S→SS*|SS+|a (1)表明通过此文法如何生成串aa+a*，并为该串构造语法树。 (2)G[S]的语言是什么？ 4. 给出生成下述语言的二型文法： (1) {anbn | n >=0 } (2) { ambn | m≥n ≥0 } (3) {uawb | u,w ∈{a,b}*∧|u|=|w| } (4) { anbm | n≥2m ≥0 } (5) { anbm | n ≥ 0, m ≥ 0,3n≥m≥2n } (6) {wwR|w∈{a,b}*，wR 表示w的逆} (7) {uvwvR|u,v,w∈{a,b}+=1 } 5. 给出生成下述语言的三型文法： (1) {an | n >=0 } (2) { anbm | n,m>=1 } (3) {anbmck | n,m,k>=0 }

给出下面语言的上下文无关文法描述。 (1)L1＝{anbnci｜n≥1，i≥0} (2)L2＝{abna｜n≥0} (3)L3＝{aibncn｜n≥1，i≥0} (4)L4＝{aibj｜j≥i≥1} (5)L5＝{a2nb3n｜n≥0} (6)L6＝{anbnambm｜n，m≥0} (7)L7＝{a2n+1b2ma2p+1｜n≥0，P≥0，m≥1} (8)L8＝{1n0m1m0n｜n，m≥0} (9)L9＝{ωaωr｜属于{0，a)*，ωr表示ω的逆序，如ω＝00aa0，则ωr＝0aa00} (10)L10＝{anbm｜2n＞m≥n≥1}

程序语言的大多数语法现象可用上下文无关文法描述。对于一个上下文无关文法G=(N,T,P,S)，其中N是非终结符号的集合，T是终结符号的集合，P是产生式集合，S是开始符号。令集合V=N∪T，那么G所描述的语言是(29)的集合。

A．从S出发推导出的包含V中所有符号的串

B．T中所有符号组成的串

C．N中所有符号组成的串

D．从S出发推导出的仅包含T中符号的串

程序语言的大多数语法现象可用上下文无关文法描述。对于一个上下文无关文法 G=(N，T，P，S)，其中N是非终结符号的集合，T是终结符号的集合，P是产生式集合，S是开始符号。令集合V=N∪T，那么G所描述的语言是(50)的集合。

A．从S出发推导出的包含尸中所有符号的串

B．从S出发推导出的仅包含厂中符号的串

C．N中所有符号组成的串

D．T中所有符号组成的串