北航2000编译原理.docxVIP

北京航空航天大学数理逻辑与编译原理试题 (2000 年) 一、 (4 2)在谓词逻辑中将下列命题符号化。 如果一个人只说谎话，那么他说的话没一句可信的。 每个人都有唯一的身份证号码。 二、 (8甲、乙、丙三人报考王教授的研究生。考试后王教授谈了录取情况 如下： 三人中只录取一人； 如果不录取甲，就录取乙； 如果不录取丙，就录取甲。 用命题逻辑确定王教授到底录取谁为他的研究生。 三、 (8)定义二元连接词△为 pA q 1 (pt q)。 证明：｛「，△ ｝是极小完全集。 四、 (4 2)判断以下逻辑推论关系是否成立， —x—y(P(x)，Q(y))卜 xP(x)「_xQ(x) -xP(x)， -xQ(x)| x-y(P(x)「Q(y)) 五、 (8 用归结法证明：有的职业是每个人都喜欢的。因此，每个人都有自 己喜欢的职业。 六、 填空题(18) 1-6题每空1 7题每空0.5) 文法的形式定义为 TOC \o 1-5 \h \z 语言的形式定义为 。 规范规约每次规约的是句型的 。 活动记录由 、 、 三部分组成。 表达式 x+yx z / (a+b)的后缀式为 。 错误的局部化处理是指 局部优化是指 循环优化是指 全局优化是指 7.有文法R::=i|(T), T::=T,R|R完成其算符优化关系表。 (填写第一二行) i ( ) # i ( ) ? ? v? ? ? # v? ? = 七、判断题(14) 对任意一个右线性文法 G ,都存在一个NFA M ,满足L(G)=L(M).() 对任意一个右线性文法 G ,都存在一个 DFA M ,满足L(G)=L(M).() 对任何正则表达式 e,都存在一个 NFAM，满足L(M)=L(e).() 对任何正则表达式 e,都存在一个 DFA M，满足L(M)=L(e).() 八、选择题(12 1-2各2 3-4各4) 不是NFA的成分。 有穷字母表 (B)初始状态集合 (C)终止状态集合 (D)有限状态集合 不是编译程序的组成部分。 (A)词法分析程序 (A)词法分析程序 (C)设备管理程序 代码生成程序 (D)语法分析程序 3.有文法 G[S]: S::=aA|a|bC 为L(G) 3.有文法 G[S]: S::=aA|a|bC 为L(G)中的句子。 (A) a100b50ab100 (C)a500b50aab2a A::=aS|bB B::=aC|bA|b C::=aB|bS 则 (B)a (D)a 1000b500aba 100b40 ab aa 4.有文法 G=(｛ S｝，｛a｝，｛S::=SaS, S::= ｝，S)，该文法是 (A) LL(1)文法 (A) LL(1)文法 (B)二义性文法 (D)SLR(1)文法 (D)SLR(1)文法 九、有文法 G[S]: (53) S::=BA A::=BS|d B::=aA|bSC 证明文法G是LL(1)文法。 构造LL(1)分析表。 写出句子adccd的分析过程。 十、举例说明什么是语法制导的翻译 (5 十一、对下列程序，当编译程序编译到箭头所指位置时，画出其层次表 (份 程序索引表)和符号表。(6 PROGRAM stack(output); VAR m, n:i nteger; r:real; PROCEDURE setup( ns:i nteger,check:real); VAR k,l:i nteger; FUNCTION total(V AR:at:integer,nt:integer):integer; VAR i,sum:i nteger; BEGIN FOR i:=1 TO nt DO sum:=sum+at[i]; Total:=sum; END; BEGIN ? l:=27+total(a, n8); END; BEGIN n :=4; setup( n,5.75) END