1、软件设计师-程序语言及答案解析(总分：63.00，做题时间：90 分钟)一、单项选择题(总题数：59，分数：63.00)某一确定性有限自动机(DFA)的状态转换如图 2-1 所示，令 d=0|1|2|9，则以下字符串中，不能被该DFA 接受的是 (1) ，与该 DFA 等价的正则式是 (2) 。(其中，袁示空字符)3857 1.2E+5 -123 576E10（分数：2.00）A.、B.、C.、D.、A.(-d|d)d*E(-d|d)d*|(-d|d)d*.d*(|E(-d|D)d*)B.(-d|d)dd*(.|)d*|(|E(-d|d)d*)C.(-|d)dd*E(-|d)d*|(-d|d)
2、dd*.d*(|E(-|d)d*)D.(-d|d)dd*E(-d|d)d*|(-d|d|)dd*.d*(|E(-dd*|dd*)1.对于以下编号为、的正则式，正确的说法是_。(aa*|ab)*b (a|b)*b (a|b)*|aa)*b（分数：1.00）A.正则式、等价B.正则式、等价C.正则式、等价D.正则式、互不等价2.编译程序进行词法分析时不能_。（分数：1.00）A.过滤源程序中的注释B.扫描源程序并识别记号C.指出出错行号D.查出拼错的保留字(关键字)某一确定有限自动机(DFA)的状态转换图如图 2-2 所示，该 DFA 接受的字符串集是 (5) ，与之等价的正规式是 (6) 。（分
3、数：2.00）A.以 1 开头的二进制代码串组成的集合B.以 1 结尾的二进制代码串组成的集合C.包含偶数个 0 的二进制代码串组成的集合D.包含奇数个 0 的二进制代码串组成的集合A.1*0(011)*B.(011*0)*1*)*C.1*(011)0)*D.(1*(01*0)*)*3.开发专家系统时，通过描述事实和规则由模式匹配得出结论，这种情况下适用的开发语言是_。（分数：1.00）A.面向对象语言B.函数式语言C.过程式语言D.逻辑式语言4.高级程序设计语言中用于描述程序中的运算步骤、控制结构及数据传输的是_。（分数：1.00）A.语句B.语义C.语用D.语法5.对于下面的文法 GS，_
4、是其句子(从 S 出发开始推导)。GS：SM|(S，M) MP|MP Pa|b|c|x|x|z（分数：1.00）A.(a，F)B.(fac，bb)，g)C.(abc)D.(c，(da)6.下面的 C 程序代码段在运行中会出现_错误。int i=0；while(i10)；i=i+1；（分数：1.00）A.语法B.类型不匹配C.变量定义D.动态语义7.“通过指明一系列可执行的运算及运算的次序来描述计算过程”是_语言的特点。（分数：1.00）A.逻辑式B.函数式C.交互式D.命令式(或过程式)图 2-3 所示是一有限自动机的状态转换图，该自动机所识别语言的特点是 (12) ，等价的正规式为 (13)
5、 。（分数：2.00）A.由符号 a、b 构成且包含偶数个 a 的串B.由符号 a、b 构成且开头和结尾符号都为 a 的串C.由符号 a、b 构成的任意串D.由符号 a、b 构成且 b 的前后必须为 a 的串A.(a|b)*(aa)*B.a(a|b)*aC.(a|b)*D.a(ba)*a8.下面关于编程语言的各种说法中，_是正确的。（分数：1.00）A.由于 C 语言程序是由函数构成的，因此它是一种函数型语言B.Smalltalk、C+、Java、C#都是面向对象语言C.函数型语言适用于编写处理高速计算的程序，常用于超级计算机的模拟计算D.逻辑型语言是在 Client/Server 系统中用于
6、实现负载分散的程序语言9.序言性注释是指在每个程序或模块开头的一段说明，起辅助理解程序的作用，一般包括：程序的表示、名称和版本号，程序功能描述，接口与界面描述，输入/输出数据说明，开发历史，与运行环境有关的信息等。下列叙述中不属于序言性注释的是_。（分数：1.00）A.程序对硬件、软件资源的要求B.重要变量和参数说明C.嵌入在程序中的 SQL 语句D.程序开发的原作者、审查者、修改者、编程日期等10.函数 t()、f()的定义如下所示，若调用函数 t 时传递给 x 的值为 3，并且调用函数 f()时，第一个参数采用传值(call by value)方式，第二个参数采用传引用(call by r
7、eference)方式，则函数 f 的返回值为_。（分数：1.00）A.35B.24C.22D.1111.在程序设计语言中，_。（分数：1.00）A.while 循环语句的执行效率比 do-While 循环语句的执行效率高B.while 循环语句的循环体执行次数比循环条件的判断次数多 1，而 do-while 语句的循环体执行次数比循环条件的判断次数少 1C.while 语句的循环体执行次数比循环条件的判断次数少 1，而 do-while 语句的循环体执行次数比循环条件的判断次数多 1D.while 语句的循环体执行次数比循环条件的判断次数少 1，而 do-while 语句的循环体执行次数等于
8、循环条件的判断次数12.给定 C 语言的数据结构如下：struct Tint w；union T char c；int i；double d；)U；假设 char 类型变量的存储区大小是 1 字节，int 类型变量的存储区大小是 4 字节，double 类型变量的存储区大小是 8 字节，则在不考虑字对齐方式的情况下，为存储一个 struct T 类型变量所需要的存储区域至少应为_字节。（分数：1.00）A.4B.8C.12D.17在过程式程序设计()、数据抽象程序设计()、面向对象程序设计()、泛型(通用)程序设计()中，C+语言支持 (19) ，C 语言支持 (20) 。（分数：2.00）A
9、.B.C.D.A.B.C.D.13.C 语言是一种_语言。（分数：1.00）A.编译型B.解释型C.编译、解释混合型D.脚本14.若程序运行时系统报告除数为 0，这属于_错误。（分数：1.00）A.语法B.语用C.语义D.语境15.集合 L=ambm|m0_。（分数：1.00）A.可用正规式“a *b*表示B.不能用正规式表示，但可用非确定的有限自动机识别C.可用正规式“a mbm表示D.不能用正规式表示，但可用上下文无关文法表示16.正则表达式 1m(0|0|)*表示的集合元素的特点是_。（分数：1.00）A.长度为奇数的 0、1 串B.开始和结尾字符必须为 1 的 0、1 串C.串的长度为
10、偶数的 0、1 串D.不包含子串 011 的 0、1 串17.设某程序中定义了全局整型变量 x 和 r，且函数 f()的定义如下所示，则在语句“x=r*1；”中_。int f(int r)int x；x=r*r+1；return x；（分数：1.00）A.x 和 r 均是全局变量B.x 是全局变量，r 是形式参数C.x 是局部变量、r 是形式参数D.x 是局部变量，r 是全局变量18.程序语言的大多数语法现象可用上下文无关文法描述。对于一个上下文无关文法 G=(N，T，P，S)，其中 N 是非终结符号的集合，T 是终结符号的集合，P 是产生式集合，S 是开始符号。令集合 V=NT，那么G 所描
11、述的语言是_的集合。（分数：1.00）A.从 S 出发推导出的包含 V 中所有符号的串B.从 S 出发推导出的仅包含 T 中符号的串C.N 中所有符号组成的串D.T 中所有符号组成的串19.编译器对高级语言源程序的处理过程可以划分为词法分析、语法分析、语义分析、中间代码生成、代码优化、目标代码生成等几个阶段，其中，_并不是每种编译器都必需的。（分数：1.00）A.词法分析和语法分析B.语义分析和中间代码生成C.中间代码生成和代码优化D.代码优化和目标代码生成20.已知某文法 GS：SOSO S1，从 S 推导出的符号串可用_(n0)描述。（分数：1.00）A.(010)nB.0n10nC.1n
12、D.01n021.下列叙述中错误的是_。（分数：1.00）A.面向对象程序设计语言可支持过程化的程序设计B.给定算法的时间复杂性与实现该算法所采用的程序设计语言无关C.与汇编语言相比，采用脚本语言编程可获得更高的运行效率D.面向对象程序设计语言不支持对一个对象的成员变量进行直接访问22.有限自动机(FA)可用于识别高级语言源程序中的记号(单词)，FA 可分为确定的有限自动机(DFA)和不确定的有限自动机(NFA)。若某 DFA D 与某 NFA M 等价，则_。（分数：1.00）A.DFA D 与 NFA M 的状态数一定相等B.DFA D 与 NFA M 可识别的记号相同C.NFA M 能识
13、别的正规集是 DFA D 所识别正规集的真子集D.DFA D 能识别的正规集是 NFA M 所识别正规集的真子集23.某确定性有限自动机(DFA)的状态转换图如图 2-4 所示，令 d=0|1|2|9，则以下字符串中，能被该DFA 接受的是_。（分数：1.00）A.3857B.1.2E+5C.-123.67D.0.576E1024.编译程序对高级语言源程序进行翻译时，需要在该程序的地址空间中为变量指定地址，这种地址称为_。（分数：1.00）A.逻辑地址B.物理地址C.接口地址D.线性地址25.程序设计语言一般都提供多种循环语句，例如实现先判断循环条件再执行循环体的 while 语句和先执行循环
14、体再判断循环条件的 do-while 语句。关于这两种循环语句，在不改变循环体的条件下，_是正确的。（分数：1.00）A.while 语句的功能可由 do-while 语句实现B.do-while 语句的功能可由 while 语句实现C.若已知循环体的次数，则只能使用 while 语句D.循环条件相同时，do-while 语句的执行效率更高26._是指在运行时把过程调用和响应调用所需要执行的代码加以结合。（分数：1.00）A.绑定B.静态绑定C.动态绑定D.继承27.给定文法 GS及其非终结符 A，FIRST(A)定义为：从 A 出发能推导出的终结符号的集合(S 是文法的起始符号，为非终结符)
15、。对于文法 GS：SL| aLL，S| S其中，GS包含的 4 个终结符号分别为：a， 则 FIRST(S)的成员包括_。（分数：1.00）A.aB.a、C.a、和D.a、和，28.高级语言源程序的编译过程分若干个阶段，分配寄存器属于_阶段的工作。（分数：1.00）A.词法分析B.语法分析C.语义分析D.代码生成29.设某上下文无关文法为：S11|1001|S0|SS，则该文法所产生的所有二进制字符串都具有的特点是_。（分数：1.00）A.能被 3 整除B.0、1 出现的次数相等C.0 和 1 的出现次数都为偶数D.能被 2 整除30.函数调用时，基本的参数传递方式有传值与传地址两种，_。（分
16、数：1.00）A.在传值方式下，形参将值传给实参B.在传值方式下，实参不能是数组元素C.在传地址方式下，形参和实参间可以实现数据的双向传递D.在传地址方式下，实参可以是任意的变量和表达式31.已知某高级语言源程序 A 经编译后得到机器 C 上的目标程序 B，则_。（分数：1.00）A.对 B 进行反编译，不能还原出源程序 AB.对 B 进行反汇编，不能得到与源程序 A 等价的汇编程序代码C.对 B 进行反编译，得到的是源程序 A 的变量声明和算法流程D.对 A 和 B 进行交叉编译，可以产生在机器 C 上运行的动态链接库32.下面关于程序语言的叙述，错误的是_。（分数：1.00）A.脚本语言属
17、于动态语言，其程序结构可以在运行中改变B.脚本语言一般通过脚本引擎解释执行，不产生独立保存的目标程序C.PHP、JavaScript 属于静态语言，其所有成分可在编译时确定D.C 语言属于静态语言，其所有成分可在编译时确定33.图 2-5 所示的有限自动机的特点是_。（分数：1.00）A.识别的 0、1 串是以 0 开头且以 1 结尾的B.识别的 0、1 串中 1 的数目为偶数C.识别的 0、1 串中 0 后面必须是 1D.识别的 0、1 串中 1 不能连续出现34.由 a、b 构造且仅包含偶数个 a 的串的集合用正规式表示为_。（分数：1.00）A.(a*a)*b*B.(b*(ab*a)*)
18、*C.(a*(ba*)*b)*D.(a|b)*(aa)*35.设某语言的语法规则用上下文无关文法 G=(N，T，P，S)表示，其中是非终结符号的集合，T 是终结符号的集合，P 是产生式集合，S 是开始符号，令 V=NT，那么符合该语言的句子是_。（分数：1.00）A.从 S 出发推导的、仅包含 T 中符号的符号串B.从 N 中符号出发推导的、仅包含 T 中符号的符号串C.从 S 出发推导的、包含 V 中符号的符号串D.从 N 中符号出发推导的、包含 V 中符号的符号串36.许多程序设计语言规定，程序中的数据都必须具有类型，其作用不包括_。（分数：1.00）A.便于为数据合理分配存储单元B.便于
19、对参与表达式计算的数据对象进行检查C.便于定义动态数据结构D.便于规定数据对象的取值范围及能够进行的运算37.以下关于 C/C+语言指针变量的叙述中，正确的是_。（分数：1.00）A.指针变量可以是全局变量也可以是局部变量B.必须为指针变量与指针所指向的变量分配相同大小的存储空间C.对指针变量进行算术运算是没有意义的D.指针变量必须由动态产生的数据对象来赋值38.将高级语言源程序翻译为机器语言程序的过程中常引入中间代码。以下关于中间代码的叙述中，错误的是_。（分数：1.00）A.不同的高级程序语言可以产生同一种中间代码B.使用中间代码有利于进行与机器无关的优化处理C.使用中间代码有利于提高编译
20、程序的可移植性D.中间代码与机器语言代码在指令结构上必须一致39.以下关于编译系统对某高级语言进行翻译的叙述中，错误的是_。（分数：1.00）A.词法分析将把源程序看作一个线性字符序列进行分析B.语法分析阶段可以发现程序中所有的语法错误C.语义分析阶段可以发现程序中所有的语义错误D.目标代码生成阶段的工作与目标机器的体系结构相关40.若一个程序语言可以提供链表的定义和运算，则其运行时的_。（分数：1.00）A.数据空间适合采用静态存储分配策略B.数据空间必须采用堆存储分配策略C.指令空间需要采用栈结构D.指令代码必须放入堆区41.由某上下文无关文法 MS推导出某句子的分析树如图 2-6 所示，
21、则错误的叙述是_。（分数：1.00）A.该文法推导出的句子必须以“a”开头B.acabcbdcc 是该文法推导出的一个句子C.“S-aAcB”是该文法的一个产生式D.a，b，c，d 属于该文法的终结符号集42.编译程序对 C 语言源程序进行语法分析时，可以确定_。（分数：1.00）A.变量是否定义(或声明)B.变量的值是否正确C.循环语句的执行次数D.循环条件是否正确43.以下关于高级语言程序的编译和解释的叙述中，正确的是_。（分数：1.00）A.在编译方式下，可以省略对源程序的词法分析、语法分析B.在解释方式下，可以省略对源程序的词法分析、语法分析C.在编译方式下，在机器上运行的目标程序完全
22、独立于源程序D.在解释方式下，在机器上运行的目标程序完全独立于源程序44.标记语言用一系列约定好的标记来对电子文档进行标记，以实现对电子文档的语义、结构及格式的定义。_不是标记语言。（分数：1.00）A.HTMLB.XMLC.WMLD.PHP45.对于正规式 0*(10*1)*0*，其正规集中字符串的特点是_。（分数：1.00）A.开头和结尾必须是 0B.1 必须出现偶数次C.0 不能连续出现D.1 不能连续出现46.以下关于变量和常量的叙述中，错误的是_。（分数：1.00）A.变量的取值在程序运行过程中可以改变，常量则不行B.变量具有类型属性，常量则没有C.变量具有对应的存储单元，常量则没有
23、D.可以对变量赋值，不能对常量赋值47.编译程序分析源程序的阶段依次是_（分数：1.00）A.词法分析、语法分析、语义分析B.语法分析、词法分析、语义分析C.语义分析、语法分析、词法分析D.语义分析、词法分析、语法分析48.在如图 2-7 所示的有限自动机中，0 是初始状态，3 是终止状态，该自动机可以识别_。（分数：1.00）A.ababB.aaaaC.bbbbD.abba49.如图 2-8 所示为两个有限自动机 M1 和 M2(A 是初态，C 是终态)，_。（分数：1.00）A.M1 和 M2 都是确定的有限自动机B.M1 和 M2 都是不确定的有限自动机C.M1 是确定的有限自动机，M2
24、 是不确定的有限自动机D.M1 是不确定的有限自动机，M2 是确定的有限自动机50.以下关于可视化程序设计的叙述中，错误的是_（分数：1.00）A.可视化程序设计使开发应用程序无须编写程序代码B.可视化程序设计基于面向对象的思想，引入了控件和事件驱动C.在可视化程序设计中，构造应用程序界面就像搭积木D.在可视化程序设计中，采用解释方式可随时查看程序的运行效果51.以下关于汇编语言的叙述中，错误的是_。（分数：1.00）A.汇编语言源程序中的指令语句将被翻译成机器代码B.汇编程序先将源程序中的伪指令翻译成机器代码，然后再翻译指令语句C.汇编程序以汇编语言源程序为输入，以机器语言表示的目标程序为输
25、出D.汇编语言的指令语句必须具有操作码字段，可以没有操作数字段52.若一种程序设计语言规定其程序中的数据必须具有类型，则有利于_。在翻译程序的过程中为数据合理分配存储单元对参与表达式计算的数据对象进行检查定义和应用动态数据结构规定数据对象的取值范围及能够进行的运算对数据进行强制类型转换（分数：1.00）A.B.C.D.53.以下关于高级程序设计语言翻译的叙述中，正确的是_。（分数：1.00）A.可以先进行语法分析，再进行词法分析B.在语法分析阶段可以发现程序中的所有错误C.语义分析阶段的工作与目标机器的体系结构密切相关D.目标代码生成阶段的工作与目标机器的体系结构密切相关54.如图 2-9 所
26、示为一个有限自动机(A 是初态，C 是终态)，该自动机可识别_。（分数：1.00）A.0000B.1111C.0101D.101055.传值与传地址是函数调用时常采用的信息传递方式，_。（分数：1.00）A.在传值方式下，是将形参的值传给实参B.在传值方式下，形参可以是任意形式的表达式C.在传地址方式下，是将实参的地址传给形参D.在传地址方式下，实参可以是任意形式的表达式软件设计师-程序语言答案解析(总分：63.00，做题时间：90 分钟)一、单项选择题(总题数：59，分数：63.00)某一确定性有限自动机(DFA)的状态转换如图 2-1 所示，令 d=0|1|2|9，则以下字符串中，不能被该
27、DFA 接受的是 (1) ，与该 DFA 等价的正则式是 (2) 。(其中，袁示空字符)3857 1.2E+5 -123 576E10（分数：2.00）A.、B.、 C.、D.、解析：A.(-d|d)d*E(-d|d)d*|(-d|d)d*.d*(|E(-d|D)d*) B.(-d|d)dd*(.|)d*|(|E(-d|d)d*)C.(-|d)dd*E(-|d)d*|(-d|d)dd*.d*(|E(-|d)d*)D.(-d|d)dd*E(-d|d)d*|(-d|d|)dd*.d*(|E(-dd*|dd*)解析：1.对于以下编号为、的正则式，正确的说法是_。(aa*|ab)*b (a|b)*b
28、(a|b)*|aa)*b（分数：1.00）A.正则式、等价B.正则式、等价C.正则式、等价 D.正则式、互不等价解析：2.编译程序进行词法分析时不能_。（分数：1.00）A.过滤源程序中的注释B.扫描源程序并识别记号C.指出出错行号D.查出拼错的保留字(关键字) 解析：某一确定有限自动机(DFA)的状态转换图如图 2-2 所示，该 DFA 接受的字符串集是 (5) ，与之等价的正规式是 (6) 。（分数：2.00）A.以 1 开头的二进制代码串组成的集合B.以 1 结尾的二进制代码串组成的集合C.包含偶数个 0 的二进制代码串组成的集合 D.包含奇数个 0 的二进制代码串组成的集合解析：A.1
29、*0(011)*B.(011*0)*1*)*C.1*(011)0)*D.(1*(01*0)*)* 解析：3.开发专家系统时，通过描述事实和规则由模式匹配得出结论，这种情况下适用的开发语言是_。（分数：1.00）A.面向对象语言B.函数式语言C.过程式语言D.逻辑式语言 解析：4.高级程序设计语言中用于描述程序中的运算步骤、控制结构及数据传输的是_。（分数：1.00）A.语句 B.语义C.语用D.语法解析：5.对于下面的文法 GS，_是其句子(从 S 出发开始推导)。GS：SM|(S，M) MP|MP Pa|b|c|x|x|z（分数：1.00）A.(a，F)B.(fac，bb)，g) C.(ab
30、c)D.(c，(da)解析：6.下面的 C 程序代码段在运行中会出现_错误。int i=0；while(i10)；i=i+1；（分数：1.00）A.语法B.类型不匹配C.变量定义D.动态语义 解析：7.“通过指明一系列可执行的运算及运算的次序来描述计算过程”是_语言的特点。（分数：1.00）A.逻辑式B.函数式C.交互式D.命令式(或过程式) 解析：图 2-3 所示是一有限自动机的状态转换图，该自动机所识别语言的特点是 (12) ，等价的正规式为 (13) 。（分数：2.00）A.由符号 a、b 构成且包含偶数个 a 的串B.由符号 a、b 构成且开头和结尾符号都为 a 的串 C.由符号 a、
31、b 构成的任意串D.由符号 a、b 构成且 b 的前后必须为 a 的串解析：A.(a|b)*(aa)*B.a(a|b)*a C.(a|b)*D.a(ba)*a解析：8.下面关于编程语言的各种说法中，_是正确的。（分数：1.00）A.由于 C 语言程序是由函数构成的，因此它是一种函数型语言B.Smalltalk、C+、Java、C#都是面向对象语言 C.函数型语言适用于编写处理高速计算的程序，常用于超级计算机的模拟计算D.逻辑型语言是在 Client/Server 系统中用于实现负载分散的程序语言解析：9.序言性注释是指在每个程序或模块开头的一段说明，起辅助理解程序的作用，一般包括：程序的表示、
32、名称和版本号，程序功能描述，接口与界面描述，输入/输出数据说明，开发历史，与运行环境有关的信息等。下列叙述中不属于序言性注释的是_。（分数：1.00）A.程序对硬件、软件资源的要求B.重要变量和参数说明C.嵌入在程序中的 SQL 语句 D.程序开发的原作者、审查者、修改者、编程日期等解析：10.函数 t()、f()的定义如下所示，若调用函数 t 时传递给 x 的值为 3，并且调用函数 f()时，第一个参数采用传值(call by value)方式，第二个参数采用传引用(call by reference)方式，则函数 f 的返回值为_。（分数：1.00）A.35B.24 C.22D.11解析：
33、11.在程序设计语言中，_。（分数：1.00）A.while 循环语句的执行效率比 do-While 循环语句的执行效率高B.while 循环语句的循环体执行次数比循环条件的判断次数多 1，而 do-while 语句的循环体执行次数比循环条件的判断次数少 1C.while 语句的循环体执行次数比循环条件的判断次数少 1，而 do-while 语句的循环体执行次数比循环条件的判断次数多 1D.while 语句的循环体执行次数比循环条件的判断次数少 1，而 do-while 语句的循环体执行次数等于循环条件的判断次数 解析：12.给定 C 语言的数据结构如下：struct Tint w；union
34、 T char c；int i；double d；)U；假设 char 类型变量的存储区大小是 1 字节，int 类型变量的存储区大小是 4 字节，double 类型变量的存储区大小是 8 字节，则在不考虑字对齐方式的情况下，为存储一个 struct T 类型变量所需要的存储区域至少应为_字节。（分数：1.00）A.4B.8C.12 D.17解析：在过程式程序设计()、数据抽象程序设计()、面向对象程序设计()、泛型(通用)程序设计()中，C+语言支持 (19) ，C 语言支持 (20) 。（分数：2.00）A.B.C.D. 解析：A. B.C.D.解析：13.C 语言是一种_语言。（分数：1
35、.00）A.编译型 B.解释型C.编译、解释混合型D.脚本解析：14.若程序运行时系统报告除数为 0，这属于_错误。（分数：1.00）A.语法B.语用C.语义 D.语境解析：15.集合 L=ambm|m0_。（分数：1.00）A.可用正规式“a *b*表示B.不能用正规式表示，但可用非确定的有限自动机识别C.可用正规式“a mbm表示D.不能用正规式表示，但可用上下文无关文法表示 解析：16.正则表达式 1m(0|0|)*表示的集合元素的特点是_。（分数：1.00）A.长度为奇数的 0、1 串B.开始和结尾字符必须为 1 的 0、1 串C.串的长度为偶数的 0、1 串D.不包含子串 011 的
36、 0、1 串 解析：17.设某程序中定义了全局整型变量 x 和 r，且函数 f()的定义如下所示，则在语句“x=r*1；”中_。int f(int r)int x；x=r*r+1；return x；（分数：1.00）A.x 和 r 均是全局变量B.x 是全局变量，r 是形式参数C.x 是局部变量、r 是形式参数 D.x 是局部变量，r 是全局变量解析：18.程序语言的大多数语法现象可用上下文无关文法描述。对于一个上下文无关文法 G=(N，T，P，S)，其中 N 是非终结符号的集合，T 是终结符号的集合，P 是产生式集合，S 是开始符号。令集合 V=NT，那么G 所描述的语言是_的集合。（分数：
37、1.00）A.从 S 出发推导出的包含 V 中所有符号的串B.从 S 出发推导出的仅包含 T 中符号的串 C.N 中所有符号组成的串D.T 中所有符号组成的串解析：19.编译器对高级语言源程序的处理过程可以划分为词法分析、语法分析、语义分析、中间代码生成、代码优化、目标代码生成等几个阶段，其中，_并不是每种编译器都必需的。（分数：1.00）A.词法分析和语法分析B.语义分析和中间代码生成C.中间代码生成和代码优化 D.代码优化和目标代码生成解析：20.已知某文法 GS：SOSO S1，从 S 推导出的符号串可用_(n0)描述。（分数：1.00）A.(010)nB.0n10n C.1nD.01n
38、0解析：21.下列叙述中错误的是_。（分数：1.00）A.面向对象程序设计语言可支持过程化的程序设计B.给定算法的时间复杂性与实现该算法所采用的程序设计语言无关C.与汇编语言相比，采用脚本语言编程可获得更高的运行效率 D.面向对象程序设计语言不支持对一个对象的成员变量进行直接访问解析：22.有限自动机(FA)可用于识别高级语言源程序中的记号(单词)，FA 可分为确定的有限自动机(DFA)和不确定的有限自动机(NFA)。若某 DFA D 与某 NFA M 等价，则_。（分数：1.00）A.DFA D 与 NFA M 的状态数一定相等B.DFA D 与 NFA M 可识别的记号相同 C.NFA M
39、 能识别的正规集是 DFA D 所识别正规集的真子集D.DFA D 能识别的正规集是 NFA M 所识别正规集的真子集解析：23.某确定性有限自动机(DFA)的状态转换图如图 2-4 所示，令 d=0|1|2|9，则以下字符串中，能被该DFA 接受的是_。（分数：1.00）A.3857B.1.2E+5C.-123.67 D.0.576E10解析：24.编译程序对高级语言源程序进行翻译时，需要在该程序的地址空间中为变量指定地址，这种地址称为_。（分数：1.00）A.逻辑地址 B.物理地址C.接口地址D.线性地址解析：25.程序设计语言一般都提供多种循环语句，例如实现先判断循环条件再执行循环体的
40、while 语句和先执行循环体再判断循环条件的 do-while 语句。关于这两种循环语句，在不改变循环体的条件下，_是正确的。（分数：1.00）A.while 语句的功能可由 do-while 语句实现B.do-while 语句的功能可由 while 语句实现 C.若已知循环体的次数，则只能使用 while 语句D.循环条件相同时，do-while 语句的执行效率更高解析：26._是指在运行时把过程调用和响应调用所需要执行的代码加以结合。（分数：1.00）A.绑定B.静态绑定C.动态绑定 D.继承解析：27.给定文法 GS及其非终结符 A，FIRST(A)定义为：从 A 出发能推导出的终结符
41、号的集合(S 是文法的起始符号，为非终结符)。对于文法 GS：SL| aLL，S| S其中，GS包含的 4 个终结符号分别为：a， 则 FIRST(S)的成员包括_。（分数：1.00）A.aB.a、 C.a、和D.a、和，解析：28.高级语言源程序的编译过程分若干个阶段，分配寄存器属于_阶段的工作。（分数：1.00）A.词法分析B.语法分析C.语义分析D.代码生成 解析：29.设某上下文无关文法为：S11|1001|S0|SS，则该文法所产生的所有二进制字符串都具有的特点是_。（分数：1.00）A.能被 3 整除 B.0、1 出现的次数相等C.0 和 1 的出现次数都为偶数D.能被 2 整除解
42、析：30.函数调用时，基本的参数传递方式有传值与传地址两种，_。（分数：1.00）A.在传值方式下，形参将值传给实参B.在传值方式下，实参不能是数组元素C.在传地址方式下，形参和实参间可以实现数据的双向传递 D.在传地址方式下，实参可以是任意的变量和表达式解析：31.已知某高级语言源程序 A 经编译后得到机器 C 上的目标程序 B，则_。（分数：1.00）A.对 B 进行反编译，不能还原出源程序 A B.对 B 进行反汇编，不能得到与源程序 A 等价的汇编程序代码C.对 B 进行反编译，得到的是源程序 A 的变量声明和算法流程D.对 A 和 B 进行交叉编译，可以产生在机器 C 上运行的动态链
43、接库解析：32.下面关于程序语言的叙述，错误的是_。（分数：1.00）A.脚本语言属于动态语言，其程序结构可以在运行中改变B.脚本语言一般通过脚本引擎解释执行，不产生独立保存的目标程序C.PHP、JavaScript 属于静态语言，其所有成分可在编译时确定 D.C 语言属于静态语言，其所有成分可在编译时确定解析：33.图 2-5 所示的有限自动机的特点是_。（分数：1.00）A.识别的 0、1 串是以 0 开头且以 1 结尾的B.识别的 0、1 串中 1 的数目为偶数C.识别的 0、1 串中 0 后面必须是 1D.识别的 0、1 串中 1 不能连续出现 解析：34.由 a、b 构造且仅包含偶数
44、个 a 的串的集合用正规式表示为_。（分数：1.00）A.(a*a)*b*B.(b*(ab*a)*)* C.(a*(ba*)*b)*D.(a|b)*(aa)*解析：35.设某语言的语法规则用上下文无关文法 G=(N，T，P，S)表示，其中是非终结符号的集合，T 是终结符号的集合，P 是产生式集合，S 是开始符号，令 V=NT，那么符合该语言的句子是_。（分数：1.00）A.从 S 出发推导的、仅包含 T 中符号的符号串 B.从 N 中符号出发推导的、仅包含 T 中符号的符号串C.从 S 出发推导的、包含 V 中符号的符号串D.从 N 中符号出发推导的、包含 V 中符号的符号串解析：36.许多程
45、序设计语言规定，程序中的数据都必须具有类型，其作用不包括_。（分数：1.00）A.便于为数据合理分配存储单元B.便于对参与表达式计算的数据对象进行检查C.便于定义动态数据结构 D.便于规定数据对象的取值范围及能够进行的运算解析：37.以下关于 C/C+语言指针变量的叙述中，正确的是_。（分数：1.00）A.指针变量可以是全局变量也可以是局部变量 B.必须为指针变量与指针所指向的变量分配相同大小的存储空间C.对指针变量进行算术运算是没有意义的D.指针变量必须由动态产生的数据对象来赋值解析：38.将高级语言源程序翻译为机器语言程序的过程中常引入中间代码。以下关于中间代码的叙述中，错误的是_。（分数
46、：1.00）A.不同的高级程序语言可以产生同一种中间代码B.使用中间代码有利于进行与机器无关的优化处理C.使用中间代码有利于提高编译程序的可移植性D.中间代码与机器语言代码在指令结构上必须一致 解析：39.以下关于编译系统对某高级语言进行翻译的叙述中，错误的是_。（分数：1.00）A.词法分析将把源程序看作一个线性字符序列进行分析B.语法分析阶段可以发现程序中所有的语法错误C.语义分析阶段可以发现程序中所有的语义错误 D.目标代码生成阶段的工作与目标机器的体系结构相关解析：40.若一个程序语言可以提供链表的定义和运算，则其运行时的_。（分数：1.00）A.数据空间适合采用静态存储分配策略B.数
47、据空间必须采用堆存储分配策略 C.指令空间需要采用栈结构D.指令代码必须放入堆区解析：41.由某上下文无关文法 MS推导出某句子的分析树如图 2-6 所示，则错误的叙述是_。（分数：1.00）A.该文法推导出的句子必须以“a”开头 B.acabcbdcc 是该文法推导出的一个句子C.“S-aAcB”是该文法的一个产生式D.a，b，c，d 属于该文法的终结符号集解析：42.编译程序对 C 语言源程序进行语法分析时，可以确定_。（分数：1.00）A.变量是否定义(或声明) B.变量的值是否正确C.循环语句的执行次数D.循环条件是否正确解析：43.以下关于高级语言程序的编译和解释的叙述中，正确的是_。（分数：1.00）A.在编译方式下，可以省略对源程序的词法分析、语法分析B.在解释方式下，可以省略对源程序的词法分析、语法分析C.在编译方式下，在机器上运行的目标程序完全独立于源程序
