编译原理作业集第二章.docx

1、编译原理作业集第二章第二章 高级语言及其语法描述本章要点1.程序语言的泄义：2.高级程序语言一般结构和主要共同特征：3.正确理解上下文无关文法基本槪念，包括：文法的泄义、推导、句型、句子、语言、语法树、二义性等：4.Chomsky文法分类：本章目标掌握和理解程序语言的宦义、高级语言的一般特征及程序语言的语法描述。本章重点1.语法，词法规则与语法规则：2.语义和语义规则：3.数据类型与操作：4.推导，最左推导和最右推导；5.语法分析树和二义性：本章难点1.二义性文法：2.Chomsky各个文法类：作业题一、单项选择题：（按照组卷方案，至少15道小题）1.Chomsky把文法分成四种类型，0型、1

2、型、2型和3型。3型文法也称为 ，2型文法也称为 Ua.上下文无关文法b.上下文相关文法c.正则文法d.短语文法2.许多广为使用的语言，如Fortran、C Pascal等，属于 。a.强制式语言 b.应用式语言 c.基于规则的语言 d.面向对象的语言3.设G是一个文法，S是开始符号。若S=9, ae(VTUVN)则称a是一个 。a.句子 b.句型 c.推导 d.语言4.一个数据类型通常包括的三种要素中，没有下面的 -a.用于区别这种类型的数据对象的属性：b.这种类型的数据对象可以具有的值；c.对这种类型的数据对象的内存分配：d.可以作用于这种类型的数据对象的操作:5.Chomsky把文法分成

3、四种类型，其中， 也称正规文法a. 0型 b. 1型 c. 2型 d. 3型6.语言的词法规则一般用Chomsky的 型文法来描述：a. 0 b. 1 c. 2 d. 37.文法S(L)|aLL, SIS中，下而是该文法中的终结符号。a. S b. , c. L d. I8.文法G所描述的语言是 的集合。a.文法G的字母表为中的所有符号组成的符号串：b.文法G的字母表工的闭包工中的所有符号串；c.文法G的识别符号推出的所有符号串；d.文法G的识别符号推出的所有终结符号串；9.语言L= aca I ae(alb)4,该语言是 语言。a. 3型语言,b. 2型语言,C.1型语言,d.O型语言10.

4、设有文法G：I-*I1 110 I la I Ic I a I b I c I下面符号串中不是该文法的句子是： a. abO, b. aOcOl, c. aaa, d. bclO11.给泄文法A-bAlcc,下而的符号串中，是该文法句子的是 。a. bcbc, b. bbbcc, c. bcbcc, d. bccbcc：12.Chomsky 义的四种形式语言文法中，2型文法可由(G )识别。a.图灵机：b.确泄性有限自动机；c.下推自动机：d.非确左性有限自动机:13.若文法G立义的语言是无限集，则文法必然是 a.上下文无关的b.递归的c.二义性的 d.无二义性的14.文法S-aaSlabc定

5、义的语言是 。a. a2kbclk0) b. akbclk0c. akJbcIloO d. akakbclk015.)od. xnyxn (nO)文法：G： SxSxl y所识别的语言是(a. xyx b. (xyx)* c. x*yx*1.答案：1. c.： 2. a.； 3. b； 4. c： 5. d： 6. d： 7. b： &d： 9. d； 10. a； 11. b； 12. c： 13. b：14.c： 15. d；填空丿(按照组卷方案，至少15道小题)1.假设G是一个文法,a是由终结符和非终结符组成的串，S是文法的开始符号，如果S=a,则称a是 。2.在赋值语句中，赋值号：=左

6、右两边的变量劣扮演着两种不同的角色，为了区分一个划字的这两种特征，我们把一个名字所代表的 称为该名的左值，把一个名字的 称为该名字的右值。3.对于文法G,仅含终结符号的句型称为 。4.设有文法GS,其部分产生式：E-E+TITT-*T*F I FF-*(E)la则 = . Vt= 。5.由文法产生的 集合是文法产生的语言。6.Chomsky语法定义的3型文法又可以分为 ,7.一个上下文文法G的四个组成部分分别是： 8.已知语言:abambmln, mO，其语法定义为:G=(a, b, S, A, B, S, P),其中P 为： o9.已知某语言的语法定义为：G=(a,SS. P ),且P: S

7、-aS I ,则该语言为 10.已知某语言为3cwRloe(a, b,其语法定义为G=(a, b, c, S, S, P),其中P为： “11.所谓最右推导是指 O12.已知文法G(Z):E-ET+ITT-*TF*IFF-FP t IPP-*Eli试写出其识别的一个句子： 313.文法GS： S-aAla, A-aS为 型文法，其确定的语言的为： 。14.在一棵语法树生长过程中的任何时刻， 就是一个句型。15.我们说G=(Vt, Vn, S, P)是一个0型文法，如果它的每一个产生式a-卩是这样一种结构： 2.答案：1.句型；2.单元的地址(或者：单元、存储单元的地址)，值(或者：单元的内 容

8、)3.句子：4. Vn=E, T, F, Vi=+, *, (, ), a)： 5.句子：6.右线性文法和左线性 文法:7.开始符号，产生式集合，终结符集合，非终结符集合：& S-AB： AaAbb： B-aBbb： 9. anln0; 10.SaSalbSble： 11.任何一步an卩都是对a中的最右非终结符进行替换。12.13. a2n+,ln0； 14.所有那些没有后代的末端结点从左到右排列起来;15. a(VNUVt)且至少含有一个非终结符，而0G(VnUVT)三、 判断题：(按照组卷方案，至少15道小题)1.一棵语法树表示了一个句型所有的不同推导过程，包括最右推导和最左推导。()2.

9、可能有两个不同的文法G和G,期中一个是二义的而另一个是无二义的，但是却有L(G) =L(Gf)0 ()3.变量既持有左值又持有右值，而常数和带有算符的表达式一般认为只持有右值。()4.文法G:S-*bAA-*aAla泄义的语言是所有以b开头的后跟至少一个a的字符串的集合。()5.设有文法G：S-*S*SIS+SI（S）la该文法是二义的。（）6.正则文法一定不是二义的。（）7.上下文无关文法可以产生语言L= anbncli=l,n=l o （）8.不存在任何正规文法能产生语言L=anbn I n=lo （）9.对于每一个左线性文法Gi,都存在一个右线性文法G2,使得L（Gi）=L（G2）6 （

10、）10.正规文法产生的语言都可以用上下文无关文法来描述。（）11.上下文无关文法比正规文法有更强的描述能力。（）12.文法的二义性和语言的二义性在概念上是相同的，也就是说，对于某个语言，不可能存 在两个以上的文法来描述它。（）13.二义性是可以判泄的，也就是说，可以编这么一个程序，输入该文法后，该程序能确切 地给出该文法是否二义的答案。（）14说明语句旨在左义名字的性质。编译程序把这些性质登记在符号表中，并检查程序中名 字的引用和说明是否一致。实际上，许多说明语句并不能翻译成相应的目标代码。（）15.C语言是一个允许子程序嵌套定义的语言。（）3.答案：1.7： 2.7： 3.7： 4.7： 5

11、.7： 6. X； 7.Q： &7： 9. Q： 10.7： 11.7： 12. X； 13. X； 14. 1： 15. X；四、名词解q-r （按照组卷方案，至少3道小题）1.二义性文法：2.推导和直接推导：3.句型，句子和语言；4.上下文无关文法；5.语法；6.正规文法（左线性文法和右线性文法）：4.答案：1.如果一个文法存在某个句子对应两棵以上不同的语法树，则称这个文法是是二义性文法。2.设A-y是一个产生式，且cc、pe（VToVN）*,若aAp=ayp,则称aA卩直接推出。祁：或 者说，旳卩是aA0的一个直接推导。如果ai=a2=an,则称这个序列是从a】到*的一个推导。3.设G是

12、一个文法，S是它的开始符号。如果S=*a,则称a是一个句型。仅含终结符的句型叫句子。文法G所产生的句子的全体叫文法G的语言，记为L(G), L(G)=al S=a, aGVT*)o4.上下文无关文法G是一个四元式(Vt，Vn, S, P),其中：Vt是一个非空有限集合，其中的每一个元素称为终结符：Vn是一个非空有限集合，其中的每一个元素称为非终结符，vNnv-0：S是一个非终结符，称为开始符号：P是一个产生式有限集合，每个产生式的形式是P-*a,英中PgVn，aSbSbSaS|该文法产生的语言是什么？答：如果一个文法存在某个句子对应两棵以上不同的语法树，则称这个文法是二义的。例如输入串abab

13、,它有两棵语法树如下：所以，该文法是二义的。此文法产生的语言是：所有a的个数与b的个数相等的由a和b组成的字符串。3.文法GS为：S-*AclaBAabB-*bc该文法是否为二义的？为什么？答：对于串abc(1 )S=Ac=abc (2)S=aB=abc即存在两不同的最右推导。所以，该文法是二义的。或者：对输入字符串abc,能构造两棵不同的语法树，所以它是二义的。4已知文法G=(A,B,C, abc, P, A), P由以下产生式组成:AabcA-*aBbcBb-bBBeCbccbC-CbaC-*aaBaC-*aa此文法所表示的语言是什么？答：分析文法的规则：每使用一次Bc-Cbcc, b、c的个数各增加一个：每使用一次aC-*aaB或aC-*aa, a的个数就增加一个：产生式Bb-bB、bC-Cb起连接转换作用。由于A是开始符号，由产生式A-abc推导得到终结符号串abc；由产生式A-aBbe推导得 到B后，每当使用产生式Bb-bB、Be-Cbcc、bC-Cb、aC-aaB就会递归调用B 一次， 所产生的a、b、c的个数分别增加一个，因此推导所得的终结符号串为abc、aabbcc、 aaabbbccc所以文法描述的语言为 anbncnln0.5已知文法GZ:Z-0UI1VU-1ZI