给定正则文法G=＜{0,1},{σ,A,B},P,σ),其中试描述L（G)并给出接受该语言的有限状态接收器。

已知文法G1=(VT={a,b,d}，VN={S，A，B}，S,P)，其中P为， S→dAB A→aA|a B→bB|ε 该文法生成的语言是(28)。

A．{dambn|m≥0，n≥O}

B．{dambn|m≥1，n≥0}

C．{dambn|m≥0，n≥1}

D．{dambn|m≥1，n≥1}

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 }

给出语言L(G)={a²ⁿ⁺¹b^2ma^2p+1|n≥0，p≥0，m≥1}正规式及该正规式的DFA。

已知文法G2=(VT={a,b}，VN={S，A}，S,P)，其中P为， S→Sb｜Ab A→aSb｜ε 该文法生成的语言是(28)。

A．{ambn｜n＞m≥0}

B．{ambn｜m＞n≥0}

C．{ambn｜n≥m≥1}

D．{ambn｜m≥n≥1}

给出下面语言的上下文无关文法描述。 (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[S]：S→A0｜B1，A→S1｜1，B→S0｜0，该文法属于乔姆斯基定义的(18)文法，它不能产生串(19)。

语言L={ambn｜m≥0，n≥1)的正规表达式是(20)。

一个文法G=(N，T，P，S)，其中N是非终结符号的集合，T是终结符号的集合，P是产生式集合，S是开始符号，令集合V=N∪T，那么G所描述的语言是(21)的集合。

程序设计语言引入“类”的概念是为了解决数据保护问题。C++语言将类的成员封装在类体之中，使之具有一定的存取规则，这些规则规定了存取类的成员的权利，其中对于用Private说明的成员，它(22)。

A．0型

B．1型

C．2型

D．3型

指出下列文法所属的文法类，并给出所表示的语言。 (1)S→aA｜bB A→A0｜ε B→B00｜ε (2)S→aSb｜c (3)S→a｜aE E→AS (4)S→ASPQ｜abQ QP→PQ bP→bb bQ→bc cQ→cc

σ),其中,P₂:σ→λ,σ→σcσ,σ→c。

a)描述L(G)(i=1,2)。

b)对每一语言,给出一个长度为5的终结符串的派生,并构造派生树。

在形式语言中，若文法G的产生式集P为：

(1)Z→Bc(2)Z→Zc(3)B→Ab(4)B→Bb(5)A→Aa(6)A→a

则文法G是(27)文法，识别G的自动机为(28)。对于G来说，(29)为文法G可接受的字符串，(30)为文法G不可接受的字符串。

供选择的答案：

A．短语

B．上下文有关

C．上下文无关

D．正则

在形式语言中，文法G是一个四元组G=(VN，Vr，P，Z)，其中VN为(6)。若文法C的产生式集P为：

(1)Z→Bc (2)Z→Zc (3)B→Ab (4)B→Bb (5)A→Aa (6)A→a

则文法G是(7)文法，识别G的自动机为(8)。对于G来说，(9)为文法G可接受的字符串，(10)为文法G不可接受的字符串。

供选择的答案：

A．状态标志符

B．开始符

C．语句集

D．非终结符集合