《编译原理》第二章 文法和语言

3
B → Bb|ε G[S]产生的语言是什么？G[S]能否改写为等价的正则文法? 四、文法题 （1）文法 G[S ] :
S aSb | P P bPc | bQc Q Qa | a
（1）它是乔姆斯基的哪一种文法？ （2）它生成的语言是什么？
4Baidu Nhomakorabea
。
可以产生语言 L。
A aAb | b
C． Z AbB
Ab
D. Z aAb
A aA | a
A aAb | b
（8）若一个文法是递归的，则它产生语言的句子个数 。 A. 必定是无穷的 B. 根据情况而定 C．是有穷个 D. 有穷个，但是个数很大 （9）文法 G : S xSx | y 所识别的语言是 。
第二章 文法和语言
一、选择题 （1）巴科斯-瑙尔范式（EBNF）是一种广泛采用的 。 A. 描述规则 B. 描述语言 C．描述文法 D. 描述句子 （2）如果文法 G 是二义的，则下面 成立。 A. 文法的一个句子对应两棵不同的语法树。 B. 文法中的某个句子有两棵不同的最左推导。 C．文法中的某个句子有两棵不同的最右推导。 D. 对于文法中的任意一个句子，它的最左或最右推导对应的语法树相同 （3）给定文法 G (VT , VN , P, S ) ，其中： VT (0,1),VN (S , A, B) 。产生式如下：
文法。 文法。 文法。 文法。
2
cR → cc 1. 它是 Chomsky 哪一型文法？ 2. 证明aaabbbccc是G的一个句子。 （6）文法G P : P → S + S S ∗ S i|(S) 1. 它是 Chomsky 哪一型文法？ 2. 给出串i + i ∗ i 的一个推导。 3. 给出串i + i ∗ i 的语法树。 4. 文法G是否有二义性，并证明你的结论。 （7）有文法G N : N → SE|E1 S → SD|D E → 0 2 4 6 8|10 D → 0 1 2 3 4 5 6 7 8|9 1. 证明此文法有二义性。 2. 此文法所描述的语言是什么？ 3. 试写出另一文法G′ ，使L G′ = L(G),且G′ 是无二义性的。 （8）设文法G S : S → bTc|a T→R R → R/S|S 1. 文法G属于 Chomsky 哪一型文法？ 2. 符号bR/bTc/bSc/ac是不是该文法的一个句型，请证实。 3. 若是句型，写出该文法的所有短语、直接短语及句柄。 （9）为只包含数字、加号和减号的表达式，例如 9-2+5，3-1，7 等构造一个文 法。 （10）刻画语言的语法有几种方式？ （11）给定文法G S : S → aAcBe A→b A → Ab B→d 若有句型 aAbcde, 试问b 是它的直接短语吗？它的短语是什么？句柄是什 么？ （12）什么是规范推导？每个句型都有规范推导吗？ （13）已知文法G A : A → B|AaB|AbB B → C|BcC|Bdc C → fAg|e 试给出下列符号串的规范推导： ①feg ②eceae ③ecfeaeg ④ edecfeaeg （14）已知文法G S 为： S → dAB A → aA|a
S 0S | 0 | 1A B 1A | 0B A 1 | 1S | 0B
符号串是 L(G) 中的句子。 A. 10100010011011 B. 0101001110010010 C．1101010011110111 D. 10100111011010110 （4）有限自动机能识别 。 A. 上下文无关文法 B. 上下文有关文法 C．正规文法 D. 短语文法 （5）由文法的开始符号经 0 步或多部推导产生的文法符号序列是 A. 短语 B. 句柄 C． 句型 D. 句子 （6）一个句型中的最左 称为该句型的句柄 。 A. 短语 B. 直接（简单）短语 C．素短语 D. 终结符号 （7）已知语言 L {a n bbn | n 1} ，则下列文法中， A. Z aZb | aAb B. A aAb
1
A. xyx C． x n yxn (n 0) （10）有文法 G[S ] :
B. ( xyx) * D. x * yx*
S aA | a | bc A aS | bB B aC | bA | b C aB | bS
不是 L(G)中的句子。 A. a 100b 50 ab100 C． a1000b 60 aab2 a 二、填空题 Chomsky 定义的 4 种形式语言文法为： （1） 文法，又称 （2） 文法，又称 （3） 文法，又称 （4） 文法，又称 三、简答题 （1）文法和形式语言有几种类型？ （2）什么是语法树？ （3）文法的二义性指的是什么？与语言的二义性有什么不同？ （4）G[S]为： S → aB|bA A → aS|bAA|a B → bS|aBB|b 1. 给出串aaabbabbba的最左推导、最右推导和推导树。 2. 句子aaabbabbba的短语、直接短语、句柄。 （5）已知文法G P : P → aPQR|abR RQ → QR bQ → bb bR → bc B. a 1000b 500 aba D. a 100 b 40 ab10 aa