高级程序设计语言中用于描述程序中的运算步骤、控制结构及数据传输的是（）。

某一确定性有限自动机(DFA)的状态转换如图2-1所示，令d=0|1|2|…|9，则以下字符串中，不能被该DFA接受的是 (1) ，与该DFA等价的正则式是 (2) 。(其中，袁示空字符)
①3857 ②1.2E+5 ③-123 ④576E10

（1）处填（）。

A．①、②、③
B．①、②、④
C．②、③、④
D．①、②、③、④

某一确定性有限自动机(DFA)的状态转换如图2-1所示，令d=0|1|2|…|9，则以下字符串中，不能被该DFA接受的是 (1) ，与该DFA等价的正则式是 (2) 。(其中，袁示空字符)
①3857 ②1.2E+5 ③-123 ④576E10

（2）处填（）。

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*))

单项选择题

对于以下编号为①、②、③的正则式，正确的说法是（）。
①(aa|ab)b ②(a|b)b ③((a|b)|aa)*b

A．正则式①、②等价
B．正则式①、③等价
C．正则式②、③等价
D．正则式①、②、③互不等价

单项选择题

编译程序进行词法分析时不能（）。

A．过滤源程序中的注释
B．扫描源程序并识别记号
C．指出出错行号
D．查出拼错的保留字(关键字)

单项选择题

某一确定有限自动机(DFA)的状态转换图如图2-2所示，该DFA接受的字符串集是 (5) ，与之等价的正规式是 (6) 。

（5）处填（）。

A．以1开头的二进制代码串组成的集合
B．以1结尾的二进制代码串组成的集合
C．包含偶数个0的二进制代码串组成的集合
D．包含奇数个0的二进制代码串组成的集合

单项选择题

某一确定有限自动机(DFA)的状态转换图如图2-2所示，该DFA接受的字符串集是 (5) ，与之等价的正规式是 (6) 。

（6）处填（）。

A．1*0(011)*
B．((011*0)*1*)*
C．1*((011)0)*
D．(1*(01*0)*)*

单项选择题

开发专家系统时，通过描述事实和规则由模式匹配得出结论，这种情况下适用的开发语言是（）。

A．面向对象语言
B．函数式语言
C．过程式语言
D．逻辑式语言

单项选择题

高级程序设计语言中用于描述程序中的运算步骤、控制结构及数据传输的是（）。

A．语句
B．语义
C．语用
D．语法

单项选择题

对于下面的文法G[S]，（）是其句子(从S出发开始推导)。
G[S]：S→M|(S，M) M→P|MP P→a|b|c|…|x|x|z

A．((a，F))
B．((fac，bb)，g)
C．(abc)
D．(c，(da))

单项选择题

下面的C程序代码段在运行中会出现（）错误。
int i=0；
while(i＜10)；
i=i+1；

A．语法
B．类型不匹配
C．变量定义
D．动态语义

单项选择题

“通过指明一系列可执行的运算及运算的次序来描述计算过程”是（）语言的特点。

A．逻辑式
B．函数式
C．交互式
D．命令式(或过程式)

单项选择题

下面关于编程语言的各种说法中，（）是正确的。

A．由于C语言程序是由函数构成的，因此它是一种函数型语言
B．Smalltalk、C++、Java、C#都是面向对象语言
C．函数型语言适用于编写处理高速计算的程序，常用于超级计算机的模拟计算
D．逻辑型语言是在Client/Server系统中用于实现负载分散的程序语言

单项选择题

图2-3所示是一有限自动机的状态转换图，该自动机所识别语言的特点是 (12) ，等价的正规式为 (13) 。

（12）处填（）。

A．由符号a、b构成且包含偶数个a的串
B．由符号a、b构成且开头和结尾符号都为a的串
C．由符号a、b构成的任意串
D．由符号a、b构成且b的前后必须为a的串

单项选择题

序言性注释是指在每个程序或模块开头的一段说明，起辅助理解程序的作用，一般包括：程序的表示、名称和版本号，程序功能描述，接口与界面描述，输入/输出数据说明，开发历史，与运行环境有关的信息等。下列叙述中不属于序言性注释的是（）。

A．程序对硬件、软件资源的要求
B．重要变量和参数说明
C．嵌入在程序中的SQL语句
D．程序开发的原作者、审查者、修改者、编程日期等

单项选择题

图2-3所示是一有限自动机的状态转换图，该自动机所识别语言的特点是 (12) ，等价的正规式为 (13) 。

（13）处填（）。

A．(a|b)*(aa)*
B．a(a|b)*a
C．(a|b)*
D．a(ba)*a

单项选择题

函数t()、f()的定义如下所示，若调用函数t时传递给x的值为3，并且调用函数f()时，第一个参数采用传值(call by value)方式，第二个参数采用传引用(call by reference)方式，则函数f的返回值为（）。

A．35
B．24
C．22
D．11

单项选择题

在程序设计语言中，（）。

A．while循环语句的执行效率比do-While循环语句的执行效率高
B．while循环语句的循环体执行次数比循环条件的判断次数多1，而do-while语句的循环体执行次数比循环条件的判断次数少1
C．while语句的循环体执行次数比循环条件的判断次数少1，而do-while语句的循环体执行次数比循环条件的判断次数多1
D．while语句的循环体执行次数比循环条件的判断次数少1，而do-while语句的循环体执行次数等于循环条件的判断次数

单项选择题

在过程式程序设计(①)、数据抽象程序设计(②)、面向对象程序设计(③)、泛型(通用)程序设计(④)中，C++语言支持 (19) ，C语言支持 (20) 。
（19）处填（）。

A．①
B．②③
C．③④
D．①②③④

单项选择题

给定C语言的数据结构如下：
struct T
int w；
union T char c；int i；double d；)U；
；
假设char类型变量的存储区大小是1字节，int类型变量的存储区大小是4字节，double类型变量的存储区大小是8字节，则在不考虑字对齐方式的情况下，为存储一个struct T类型变量所需要的存储区域至少应为（）字节。

A．4
B．8
C．12
D．17

单项选择题

在过程式程序设计(①)、数据抽象程序设计(②)、面向对象程序设计(③)、泛型(通用)程序设计(④)中，C++语言支持 (19) ，C语言支持 (20) 。
（20）处填（）。

A．①
B．①③
C．②③
D．①②③④

单项选择题

C语言是一种（）语言。

A．编译型
B．解释型
C．编译、解释混合型
D．脚本

单项选择题

若程序运行时系统报告除数为0，这属于（）错误。

A．语法
B．语用
C．语义
D．语境

单项选择题

集合L=a^mb^m|m≥0（）。

A．可用正规式“a^*b^*’表示
B．不能用正规式表示，但可用非确定的有限自动机识别
C．可用正规式“a^mb^m’表示
D．不能用正规式表示，但可用上下文无关文法表示

单项选择题

正则表达式1m（0|0|）*表示的集合元素的特点是（）。

A．长度为奇数的0、1串
B．开始和结尾字符必须为1的0、1串
C．串的长度为偶数的0、1串
D．不包含子串011的0、1串

单项选择题

编译器对高级语言源程序的处理过程可以划分为词法分析、语法分析、语义分析、中间代码生成、代码优化、目标代码生成等几个阶段，其中，（）并不是每种编译器都必需的。

A．词法分析和语法分析
B．语义分析和中间代码生成
C．中间代码生成和代码优化
D．代码优化和目标代码生成

单项选择题

已知某文法G[S]：S→OSO S→1，从S推导出的符号串可用（）（n≥0）描述。

A．(010)ⁿ
B．0ⁿ10ⁿ
C．1ⁿ
D．01ⁿ0

单项选择题

设某程序中定义了全局整型变量x和r，且函数f()的定义如下所示，则在语句“x=r1；”中（）。
int f(int r)
int x；
x=rr+1；
return x；

A．x和r均是全局变量
B．x是全局变量，r是形式参数
C．x是局部变量、r是形式参数
D．x是局部变量，r是全局变量

单项选择题

程序语言的大多数语法现象可用上下文无关文法描述。对于一个上下文无关文法G=(N，T，P，S)，其中N是非终结符号的集合，T是终结符号的集合，P是产生式集合，S是开始符号。令集合V=N∪T，那么G所描述的语言是（）的集合。

A．从S出发推导出的包含V中所有符号的串
B．从S出发推导出的仅包含T中符号的串
C．N中所有符号组成的串
D．T中所有符号组成的串

单项选择题

下列叙述中错误的是（）。

A．面向对象程序设计语言可支持过程化的程序设计
B．给定算法的时间复杂性与实现该算法所采用的程序设计语言无关
C．与汇编语言相比，采用脚本语言编程可获得更高的运行效率
D．面向对象程序设计语言不支持对一个对象的成员变量进行直接访问

单项选择题

有限自动机（FA）可用于识别高级语言源程序中的记号（单词），FA可分为确定的有限自动机（DFA）和不确定的有限自动机（NFA）。若某DFAD与某NFAM等价，则（）。

A．DFA D与NFA M的状态数一定相等
B．DFA D与NFA M可识别的记号相同
C．NFA M能识别的正规集是DFA D所识别正规集的真子集
D．DFA D能识别的正规集是NFA M所识别正规集的真子集

单项选择题

某确定性有限自动机（DFA）的状态转换图如图2-4所示，令d=0|1|2|…|9，则以下字符串中，能被该DFA接受的是（）。

A．3857
B．1.2E+5
C．-123.67
D．0.576E10

单项选择题

程序设计语言一般都提供多种循环语句，例如实现先判断循环条件再执行循环体的while语句和先执行循环体再判断循环条件的do-while语句。关于这两种循环语句，在不改变循环体的条件下，（）是正确的。

A．while语句的功能可由do-while语句实现
B．do-while语句的功能可由while语句实现
C．若已知循环体的次数，则只能使用while语句
D．循环条件相同时，do-while语句的执行效率更高

单项选择题

编译程序对高级语言源程序进行翻译时，需要在该程序的地址空间中为变量指定地址，这种地址称为（）。

A．逻辑地址
B．物理地址
C．接口地址
D．线性地址

单项选择题

（）是指在运行时把过程调用和响应调用所需要执行的代码加以结合。

A．绑定
B．静态绑定
C．动态绑定
D．继承

单项选择题

给定文法G[S]及其非终结符A，FIRST(A)定义为：从A出发能推导出的终结符号的集合(S是文法的起始符号，为非终结符)。对于文法G[S]：
S→[L]| a
L→L，S| S
其中，G[S]包含的4个终结符号分别为：
a，[ ]
则FIRST(S)的成员包括（）。

A．a
B．a、[
C．a、[和]
D．a、[、]和，

单项选择题

设某上下文无关文法为：S→11|1001|S0|SS，则该文法所产生的所有二进制字符串都具有的特点是（）。

A．能被3整除
B．0、1出现的次数相等
C．0和1的出现次数都为偶数
D．能被2整除

单项选择题

高级语言源程序的编译过程分若干个阶段，分配寄存器属于（）阶段的工作。

A．词法分析
B．语法分析
C．语义分析
D．代码生成

单项选择题

函数调用时，基本的参数传递方式有传值与传地址两种，（）。

A．在传值方式下，形参将值传给实参
B．在传值方式下，实参不能是数组元素
C．在传地址方式下，形参和实参间可以实现数据的双向传递
D．在传地址方式下，实参可以是任意的变量和表达式

单项选择题

已知某高级语言源程序A经编译后得到机器C上的目标程序B，则（）。

A．对B进行反编译，不能还原出源程序A
B．对B进行反汇编，不能得到与源程序A等价的汇编程序代码
C．对B进行反编译，得到的是源程序A的变量声明和算法流程
D．对A和B进行交叉编译，可以产生在机器C上运行的动态链接库

单项选择题

由a、b构造且仅包含偶数个a的串的集合用正规式表示为（）。

A．(a*a)*b*
B．(b*(ab*a)*)*
C．(a*(ba*)*b)*
D．(a|b)*(aa)*

单项选择题

图2-5所示的有限自动机的特点是（）。

A．识别的0、1串是以0开头且以1结尾的
B．识别的0、1串中1的数目为偶数
C．识别的0、1串中0后面必须是1
D．识别的0、1串中1不能连续出现

单项选择题

下面关于程序语言的叙述，错误的是（）。

A．脚本语言属于动态语言，其程序结构可以在运行中改变
B．脚本语言一般通过脚本引擎解释执行，不产生独立保存的目标程序
C．PHP、JavaScript属于静态语言，其所有成分可在编译时确定
D．C语言属于静态语言，其所有成分可在编译时确定

单项选择题

许多程序设计语言规定，程序中的数据都必须具有类型，其作用不包括（）。

A．便于为数据合理分配存储单元
B．便于对参与表达式计算的数据对象进行检查
C．便于定义动态数据结构
D．便于规定数据对象的取值范围及能够进行的运算

单项选择题

以下关于C/C++语言指针变量的叙述中，正确的是（）。

A．指针变量可以是全局变量也可以是局部变量
B．必须为指针变量与指针所指向的变量分配相同大小的存储空间
C．对指针变量进行算术运算是没有意义的
D．指针变量必须由动态产生的数据对象来赋值

单项选择题

以下关于编译系统对某高级语言进行翻译的叙述中，错误的是（）。

A．词法分析将把源程序看作一个线性字符序列进行分析
B．语法分析阶段可以发现程序中所有的语法错误
C．语义分析阶段可以发现程序中所有的语义错误
D．目标代码生成阶段的工作与目标机器的体系结构相关

单项选择题

将高级语言源程序翻译为机器语言程序的过程中常引入中间代码。以下关于中间代码的叙述中，错误的是（）。

A．不同的高级程序语言可以产生同一种中间代码
B．使用中间代码有利于进行与机器无关的优化处理
C．使用中间代码有利于提高编译程序的可移植性
D．中间代码与机器语言代码在指令结构上必须一致

单项选择题

设某语言的语法规则用上下文无关文法G=（N，T，P，S）表示，其中Ⅳ是非终结符号的集合，T是终结符号的集合，P是产生式集合，S是开始符号，令V=N∪T，那么符合该语言的句子是（）。

A．从S出发推导的、仅包含T中符号的符号串
B．从N中符号出发推导的、仅包含T中符号的符号串
C．从S出发推导的、包含V中符号的符号串
D．从N中符号出发推导的、包含V中符号的符号串

单项选择题

若一个程序语言可以提供链表的定义和运算，则其运行时的（）。

A．数据空间适合采用静态存储分配策略
B．数据空间必须采用堆存储分配策略
C．指令空间需要采用栈结构
D．指令代码必须放入堆区

单项选择题

由某上下文无关文法M[S]推导出某句子的分析树如图2-6所示，则错误的叙述是（）。

A．该文法推导出的句子必须以“a”开头
B．acabcbdcc是该文法推导出的一个句子
C．“S-＞aAcB”是该文法的一个产生式
D．a，b，c，d属于该文法的终结符号集

单项选择题

编译程序对C语言源程序进行语法分析时，可以确定（）。

A．变量是否定义(或声明)
B．变量的值是否正确
C．循环语句的执行次数
D．循环条件是否正确

单项选择题

以下关于高级语言程序的编译和解释的叙述中，正确的是（）。

A．在编译方式下，可以省略对源程序的词法分析、语法分析
B．在解释方式下，可以省略对源程序的词法分析、语法分析
C．在编译方式下，在机器上运行的目标程序完全独立于源程序
D．在解释方式下，在机器上运行的目标程序完全独立于源程序

单项选择题

对于正规式0(101)0，其正规集中字符串的特点是（）。

A．开头和结尾必须是0
B．1必须出现偶数次
C．0不能连续出现
D．1不能连续出现

单项选择题

以下关于变量和常量的叙述中，错误的是（）。

A．变量的取值在程序运行过程中可以改变，常量则不行
B．变量具有类型属性，常量则没有
C．变量具有对应的存储单元，常量则没有
D．可以对变量赋值，不能对常量赋值

单项选择题

在如图2-7所示的有限自动机中，0是初始状态，3是终止状态，该自动机可以识别（）。

A．abab
B．aaaa
C．bbbb
D．abba

单项选择题

标记语言用一系列约定好的标记来对电子文档进行标记，以实现对电子文档的语义、结构及格式的定义。（）不是标记语言。

A．HTML
B．XML
C．WML
D．PHP

单项选择题

如图2-8所示为两个有限自动机M1和M2（A是初态，C是终态），（）。

A．M1和M2都是确定的有限自动机
B．M1和M2都是不确定的有限自动机
C．M1是确定的有限自动机，M2是不确定的有限自动机
D．M1是不确定的有限自动机，M2是确定的有限自动机

单项选择题

编译程序分析源程序的阶段依次是（）。

A．词法分析、语法分析、语义分析
B．语法分析、词法分析、语义分析
C．语义分析、语法分析、词法分析
D．语义分析、词法分析、语法分析

单项选择题

以下关于汇编语言的叙述中，错误的是（）。

A．汇编语言源程序中的指令语句将被翻译成机器代码
B．汇编程序先将源程序中的伪指令翻译成机器代码，然后再翻译指令语句
C．汇编程序以汇编语言源程序为输入，以机器语言表示的目标程序为输出
D．汇编语言的指令语句必须具有操作码字段，可以没有操作数字段

单项选择题

若一种程序设计语言规定其程序中的数据必须具有类型，则有利于（）。
①在翻译程序的过程中为数据合理分配存储单元
②对参与表达式计算的数据对象进行检查
③定义和应用动态数据结构
④规定数据对象的取值范围及能够进行的运算
⑤对数据进行强制类型转换

A．①②③
B．①②④
C．②④⑤
D．③④⑤

单项选择题

以下关于可视化程序设计的叙述中，错误的是（）。

A．可视化程序设计使开发应用程序无须编写程序代码
B．可视化程序设计基于面向对象的思想，引入了控件和事件驱动
C．在可视化程序设计中，构造应用程序界面就像搭积木
D．在可视化程序设计中，采用解释方式可随时查看程序的运行效果

单项选择题

以下关于高级程序设计语言翻译的叙述中，正确的是（）。

A．可以先进行语法分析，再进行词法分析
B．在语法分析阶段可以发现程序中的所有错误
C．语义分析阶段的工作与目标机器的体系结构密切相关
D．目标代码生成阶段的工作与目标机器的体系结构密切相关

单项选择题

传值与传地址是函数调用时常采用的信息传递方式，（）。

A．在传值方式下，是将形参的值传给实参
B．在传值方式下，形参可以是任意形式的表达式
C．在传地址方式下，是将实参的地址传给形参
D．在传地址方式下，实参可以是任意形式的表达式

单项选择题

如图2-9所示为一个有限自动机（A是初态，C是终态），该自动机可识别（）。

A．0000
B．1111
C．0101
D．1010

高级程序设计语言中用于描述程序中的运算步骤、控制结构及数据传输的是（）。

你可能感兴趣的试题

某一确定性有限自动机(DFA)的状态转换如图2-1所示，令d=0|1|2|…|9，则以下字符串中，不能被该DFA接受的是 (1) ，与该DFA等价的正则式是 (2) 。(其中，袁示空字符) ①3857 ②1.2E+5 ③-123 ④576E10 （1）处填（）。

某一确定性有限自动机(DFA)的状态转换如图2-1所示，令d=0|1|2|…|9，则以下字符串中，不能被该DFA接受的是 (1) ，与该DFA等价的正则式是 (2) 。(其中，袁示空字符) ①3857 ②1.2E+5 ③-123 ④576E10 （2）处填（）。

对于以下编号为①、②、③的正则式，正确的说法是（）。 ①(aa*|ab)*b ②(a|b)*b ③((a|b)*|aa)*b

编译程序进行词法分析时不能（）。

某一确定有限自动机(DFA)的状态转换图如图2-2所示，该DFA接受的字符串集是 (5) ，与之等价的正规式是 (6) 。 （5）处填（）。

某一确定有限自动机(DFA)的状态转换图如图2-2所示，该DFA接受的字符串集是 (5) ，与之等价的正规式是 (6) 。 （6）处填（）。

开发专家系统时，通过描述事实和规则由模式匹配得出结论，这种情况下适用的开发语言是（）。

高级程序设计语言中用于描述程序中的运算步骤、控制结构及数据传输的是（）。

对于下面的文法G[S]，（）是其句子(从S出发开始推导)。 G[S]：S→M|(S，M) M→P|MP P→a|b|c|…|x|x|z

下面的C程序代码段在运行中会出现（）错误。 int i=0； while(i＜10)； i=i+1；

“通过指明一系列可执行的运算及运算的次序来描述计算过程”是（）语言的特点。

下面关于编程语言的各种说法中，（）是正确的。

图2-3所示是一有限自动机的状态转换图，该自动机所识别语言的特点是 (12) ，等价的正规式为 (13) 。 （12）处填（）。

图2-3所示是一有限自动机的状态转换图，该自动机所识别语言的特点是 (12) ，等价的正规式为 (13) 。 （13）处填（）。

函数t()、f()的定义如下所示，若调用函数t时传递给x的值为3，并且调用函数f()时，第一个参数采用传值(call by value)方式，第二个参数采用传引用(call by reference)方式，则函数f的返回值为（）。

在程序设计语言中，（）。

在过程式程序设计(①)、数据抽象程序设计(②)、面向对象程序设计(③)、泛型(通用)程序设计(④)中，C++语言支持 (19) ，C语言支持 (20) 。 （19）处填（）。

在过程式程序设计(①)、数据抽象程序设计(②)、面向对象程序设计(③)、泛型(通用)程序设计(④)中，C++语言支持 (19) ，C语言支持 (20) 。 （20）处填（）。

C语言是一种（）语言。

若程序运行时系统报告除数为0，这属于（）错误。

集合L=ambm|m≥0（）。

正则表达式1m（0|0|）*表示的集合元素的特点是（）。

编译器对高级语言源程序的处理过程可以划分为词法分析、语法分析、语义分析、中间代码生成、代码优化、目标代码生成等几个阶段，其中，（）并不是每种编译器都必需的。

已知某文法G[S]：S→OSO S→1，从S推导出的符号串可用（）（n≥0）描述。

设某程序中定义了全局整型变量x和r，且函数f()的定义如下所示，则在语句“x=r*1；”中（）。 int f(int r) int x； x=r*r+1； return x；

程序语言的大多数语法现象可用上下文无关文法描述。对于一个上下文无关文法G=(N，T，P，S)，其中N是非终结符号的集合，T是终结符号的集合，P是产生式集合，S是开始符号。令集合V=N∪T，那么G所描述的语言是（）的集合。

下列叙述中错误的是（）。

有限自动机（FA）可用于识别高级语言源程序中的记号（单词），FA可分为确定的有限自动机（DFA）和不确定的有限自动机（NFA）。若某DFAD与某NFAM等价，则（）。

某确定性有限自动机（DFA）的状态转换图如图2-4所示，令d=0|1|2|…|9，则以下字符串中，能被该DFA接受的是（）。

程序设计语言一般都提供多种循环语句，例如实现先判断循环条件再执行循环体的while语句和先执行循环体再判断循环条件的do-while语句。关于这两种循环语句，在不改变循环体的条件下，（）是正确的。

编译程序对高级语言源程序进行翻译时，需要在该程序的地址空间中为变量指定地址，这种地址称为（）。

（）是指在运行时把过程调用和响应调用所需要执行的代码加以结合。

给定文法G[S]及其非终结符A，FIRST(A)定义为：从A出发能推导出的终结符号的集合(S是文法的起始符号，为非终结符)。对于文法G[S]： S→[L]| a L→L，S| S 其中，G[S]包含的4个终结符号分别为： a，[ ] 则FIRST(S)的成员包括（）。

设某上下文无关文法为：S→11|1001|S0|SS，则该文法所产生的所有二进制字符串都具有的特点是（）。

高级语言源程序的编译过程分若干个阶段，分配寄存器属于（）阶段的工作。

函数调用时，基本的参数传递方式有传值与传地址两种，（）。

已知某高级语言源程序A经编译后得到机器C上的目标程序B，则（）。

由a、b构造且仅包含偶数个a的串的集合用正规式表示为（）。

图2-5所示的有限自动机的特点是（）。

下面关于程序语言的叙述，错误的是（）。

许多程序设计语言规定，程序中的数据都必须具有类型，其作用不包括（）。

以下关于C/C++语言指针变量的叙述中，正确的是（）。

以下关于编译系统对某高级语言进行翻译的叙述中，错误的是（）。

将高级语言源程序翻译为机器语言程序的过程中常引入中间代码。以下关于中间代码的叙述中，错误的是（）。

设某语言的语法规则用上下文无关文法G=（N，T，P，S）表示，其中Ⅳ是非终结符号的集合，T是终结符号的集合，P是产生式集合，S是开始符号，令V=N∪T，那么符合该语言的句子是（）。

若一个程序语言可以提供链表的定义和运算，则其运行时的（）。

由某上下文无关文法M[S]推导出某句子的分析树如图2-6所示，则错误的叙述是（）。

编译程序对C语言源程序进行语法分析时，可以确定（）。

以下关于高级语言程序的编译和解释的叙述中，正确的是（）。

对于正规式0*(10*1)*0*，其正规集中字符串的特点是（）。

以下关于变量和常量的叙述中，错误的是（）。

在如图2-7所示的有限自动机中，0是初始状态，3是终止状态，该自动机可以识别（）。

标记语言用一系列约定好的标记来对电子文档进行标记，以实现对电子文档的语义、结构及格式的定义。（）不是标记语言。

如图2-8所示为两个有限自动机M1和M2（A是初态，C是终态），（）。

编译程序分析源程序的阶段依次是（）。

以下关于汇编语言的叙述中，错误的是（）。

以下关于可视化程序设计的叙述中，错误的是（）。

以下关于高级程序设计语言翻译的叙述中，正确的是（）。

传值与传地址是函数调用时常采用的信息传递方式，（）。

如图2-9所示为一个有限自动机（A是初态，C是终态），该自动机可识别（）。

某一确定性有限自动机(DFA)的状态转换如图2-1所示，令d=0|1|2|…|9，则以下字符串中，不能被该DFA接受的是 (1) ，与该DFA等价的正则式是 (2) 。(其中，袁示空字符)
①3857 ②1.2E+5 ③-123 ④576E10

（1）处填（）。

某一确定性有限自动机(DFA)的状态转换如图2-1所示，令d=0|1|2|…|9，则以下字符串中，不能被该DFA接受的是 (1) ，与该DFA等价的正则式是 (2) 。(其中，袁示空字符)
①3857 ②1.2E+5 ③-123 ④576E10

（2）处填（）。

对于以下编号为①、②、③的正则式，正确的说法是（）。
①(aa|ab)b ②(a|b)b ③((a|b)|aa)*b

某一确定有限自动机(DFA)的状态转换图如图2-2所示，该DFA接受的字符串集是 (5) ，与之等价的正规式是 (6) 。

（5）处填（）。

某一确定有限自动机(DFA)的状态转换图如图2-2所示，该DFA接受的字符串集是 (5) ，与之等价的正规式是 (6) 。

（6）处填（）。

对于下面的文法G[S]，（）是其句子(从S出发开始推导)。
G[S]：S→M|(S，M) M→P|MP P→a|b|c|…|x|x|z

下面的C程序代码段在运行中会出现（）错误。
int i=0；
while(i＜10)；
i=i+1；

图2-3所示是一有限自动机的状态转换图，该自动机所识别语言的特点是 (12) ，等价的正规式为 (13) 。

（12）处填（）。

图2-3所示是一有限自动机的状态转换图，该自动机所识别语言的特点是 (12) ，等价的正规式为 (13) 。

（13）处填（）。

在过程式程序设计(①)、数据抽象程序设计(②)、面向对象程序设计(③)、泛型(通用)程序设计(④)中，C++语言支持 (19) ，C语言支持 (20) 。
（19）处填（）。

在过程式程序设计(①)、数据抽象程序设计(②)、面向对象程序设计(③)、泛型(通用)程序设计(④)中，C++语言支持 (19) ，C语言支持 (20) 。
（20）处填（）。

集合L=a^mb^m|m≥0（）。

设某程序中定义了全局整型变量x和r，且函数f()的定义如下所示，则在语句“x=r1；”中（）。
int f(int r)
int x；
x=rr+1；
return x；

给定文法G[S]及其非终结符A，FIRST(A)定义为：从A出发能推导出的终结符号的集合(S是文法的起始符号，为非终结符)。对于文法G[S]：
S→[L]| a
L→L，S| S
其中，G[S]包含的4个终结符号分别为：
a，[ ]
则FIRST(S)的成员包括（）。

对于正规式0(101)0，其正规集中字符串的特点是（）。