2018年5月 软件设计师 上午题之十七




摘要:对于【软件设计师】软考考试而言,真题无疑是最重要的学习资料之一。在软考备考过程中,吃透真题、掌握真题所考知识点、熟悉真题的出题思路,对我们提升分数的效果是最明显的,通过对真题的反复练习,还可以查漏补缺。今天,给大家带来【2018年5月 软件设计师 上午题】部分真题的详解,一起来看看吧~1、简单算术表达式的结构可以用下面的上下文无关文法进行描述(E 为开始符号),( )

1、简单算术表达式的结构可以用下面的上下文无关文法进行描述(E 为开始符号),( ) 是符合该文法的句子。E→T|E+TT→F|T*FF→-F|NN→0|1|2|3|4|5|6|7|8|9
A、 2--3*4
B、 2+-3*4
C、 (2+3)*4
D、 2*4-3
答案:B
答题解析:
从开始出发,不断推导与替换非终结符。E→E+T→T+T →F+T →N+T →2+T →2+(T*F)→2+(-F*N)→2+(-N)*N→2+-3*4
2、语法制导翻译是一种( )方法。
A、 动态语义分析
B、 中间代码优化
C、 静态语义分析
D、 目标代码优化
答案:C
答题解析:
程序设计语言的语义分为静态语义和动态语义,其中静态语义分析方法是语法制导翻译,其基本思想是将语言结构的语义以属性的形式赋予代表此结构的文法符号,而属性的计算以语义规则的形式赋予文法的产生式。
3、给定关系模式 R<U,F>;其中 U 为属性集,F 是 U 上的一组函数依赖,那么 Armstroog 公理系统的增广律是指( )。
A、 若 X→Y,X→Z,则 X→YZ 为 F 所蕴涵
B、 若 X→Y,WY→Z,则 XW→Z 为 F 所蕴涵
C、 若 X→Y,Y→Z 为 F 所蕴涵,则 X→Z 为 F 所蕴涵
D、 若 X→Y,为 F 所蕴涵,且 Z包含于属性集U,则入 XZ→YZ 为 F 所蕴涵
答案:D
答题解析:
从已知的一些函数依赖,可以推导出另外一些函数依赖,这就需要一系列推理规则。函数依赖的推理规则最早出现在1974年W.W.Armstrong 的论文里,这些规则常被称作"Armstrong 公理"
设U 是关系模式R 的属性集,F 是R 上成立的只涉及U 中属性的函数依赖集。函数依赖的推理规则有以下三条:
自反律:若属性集Y 包含于属性集X,属性集X 包含于U,则X→Y 在R 上成立。(此处X→Y是平凡函数依赖)
增广律:若X→Y 在R 上成立,且属性集Z 包含于属性集U,则XZ→YZ 在R 上成立。
传递律:若X→Y 和 Y→Z在R 上成立,则X →Z 在R 上成立。
其他的所有函数依赖的推理规则可以使用这三条规则推导出。
根据上面三条规律,又可推出下面三条推理规则:
④ 合并规则:若X→Y,X→Z,则X→YZ为F所蕴含;
⑤ 伪传递规则:若X→Y,WY→Z,则XW→Z为F所蕴含;
⑥ 分解规则:若X→Y,Z⊆Y,则X→Z为F所蕴含。
引理:X→A1A2…Ak成立的充分必要条件是X→Ai成立(i=1,2,...,k)。
本题题目是考“增广律”,学员需务必看清楚题目的提问项(很容易被混淆),因此答案为D。
查看完整试题>>>
软考资料: 2024年软考论文范文> 软考考试核心重点难点汇总> 查看更多>
备考刷题:章节练习+每日一练> 软考历年试题+模拟题>查看更多>