第九章 编译原理习题.docVIP

作业一 1.已知文法G[A]，写出它定义的语言描述 如：G[A]: A → 0B|1C B → 1|1A|0BB C → 0|0A|1CC 2. 给出生成下述语言的上下文无关文法： （1）{ anbnambm| n，m=0} (2) { 1n0m 1m0n| n，m=0} 3. 给出生成下述语言的三型文法： (1){ anbm|n,m=1 } (2){anbmck|n,m,k=0 } 文法G[E]为： E→E+T|T 　　　　　　　　　　T→T*F|F 　　　　　　　　　　F→(E)|i 试给出句型(E+F)*i的短语，简单(直接)短语,句柄。 3章练习题 一、判断题: 编译程序中的词法分析程序以字符形式的源程序作为输入，输出的单词符号常采用二元组的形式。 正规式的运算符“|”读作“或“。 若两个正规式所表示的正规集相同，则认为二者是等价的。 用l代表字母，d代表数字，Σ={l，d}，则正规式r=dd*定义了无符号整数单词。 一个确定的有穷自动机DFA M的转换函数f是一个从KⅹΣ到K 的子集的映像。 一个非确定的有穷自动机NFA N 的转换函数f是一个从KⅹΣ*到K 的映像。 一张状态转换图只包含有限个状态，其中有一个被认为是初态，最多只有一个终态。 终态与非终态是可区别的。 对任意一个右线性文法G，都存在一个NFA M，满足L（G）=L（M）。 对任意一个右线性文法G，都存在一个DFA M，满足L（M）=L（R）。 二、构造正规式1(0|1)*101相应的DFA. 练习题2 一、判断题： 空符号串的集合{ε}={}=ф。 设A是符号串的集合，则A0=ε。 设G是一个文法，S是开始符号，如果S = x且x∈VT*,则称x是文法G[S]的句型。 在形式语言中，最右推导的逆过程也称为规范归约。 一个语言的文法是唯一的。 若一个语言是无穷集合，则定义该语言的文法一定是递归的。 一个句型中出现某个产生式的右部，则此右部一定是此句型的句柄。 每个直接短语都是某规则的右部。 用二义性文法定义的语言也是二义性的。 文法的二义性与语言的二义性是两个不同的概念。 任何正规文法都是上下文无关文法。 正规文法对规则的限制比上下文无关文法对规则的限制要多一些。 二、选择题（从各题的4个答案中选出一个或多个正确的答案写在横线上） （1） 一般程序设计语言的描述都涉及（ ）3个方面。 A 语法 B 语用 C 语义 D 基本符号的确定 （2）为了使编译程序能对程序设计语言进行正确的翻译，必须采用（　　　　）方法定义程序设计语言。 Ａ　非形式化　 Ｂ　自然语言描述问题　　　Ｃ　形式化　 D自然语言和符号体系相结合 （3） 设x是符号串的幂运算 x0=（ ）。 A 1 B x C ε D Φ （4）设A是符号串的集合，则A*=（ ）。 A A1∪A2∪…∪AN∪… B A0∪A1∪A2∪…∪AN∪… C {ε}∪A+ D A0∪A+ （5）字母表中的元素可以是（ ） A 字母 B字母和数字 C 数字 D字母、数字和其他符号 （6） 文法用来描述语言的语法结构，它由如下4个部分组成：（ ）和文法开始符号。 A文法终结符集合 B 文法规则的集合 C 文法非终结符集合 D字母数字串 （7）在规则中，符号“→”（：：=）表示（ ）。 A 恒等于 B 等于 C 取决于 D 定义为 （8）在规则中，符号“|”表示（ ）。 A 与 B 或 C 非 D 定引导开关参数 （9）设文法G[E]的规则如下： A→A1|A0|Aa|Ac|a|b|c ,该文法的句子是下列符号串（ ） A ab0 B a0c01 C aaa D bc10 (10) 如果在推导过程中的任何一步α=β,都是对α中的最右非终结符进行替换，则称这种推导为（ ）。 A．直接推导 B.最右推导 C. 最左推导 D.规范推导 （11）描述语言L={ambn|n≥m≥1}的文法为（ ）。 S→ABb B.S→ABb A→aA|a A→aA|a B→bB|b B→aBb | b C.