1. 程序设计语言包括__(1)__等几个方面，它的基本成分包括__(2)__。Chomsky(乔姆斯基)提出了形式语言的分层理论，他定义了四类文法：短语结构文法、上下文有关文法、上下文无关文法和正则文法。一个文法可以用一个四元组G=(∑，V，S，P)表示，其中，∑是终结符的有限字符表，V是非终结符的有限字母表，S(∈V)是开始符号，P是生成式的有限非空集。

在短语文法中，P中的生成式都是α→β的形式，其中α∈__(3)__，β∈(Σ∪V)*。在上下文有关文法中，P中的生成式都是α1Aα2→α1βα2的形式，其中A∈__(4)__，β∈(Σ∪V)*，β≠ε。在上下文无关文法中，P中的生成式的左部∈__(5)__。

(1)：A．语法、语义 B．语法、语用   C．语义、语用   D．语法、语义、语用

(2)：A．数据、传输、运算                        B．数据、运算、控制

C．数据、运算、控制、传输                 D．顺序、分支、循环

(3)：A．V+      B．(∑∪V)      C．(∑∪V)*     D．(∑∪V)*V(∑∪V)*

(4)：A．V       B．V+           C．∑∪V        D．(∑∪V)*

(5)：A．V       B．V+           C．∑∪V        D．(∑∪V)*

2. UML是一种面向对象的统一建模语言。它包含十种图，其中，用例图展示了外部actor与系统所提供的用例之间的连接，UML中的外部actor是指__(6)__，用例可以用__(7)__图来描述。状态图指明了对象所有可能的状态以及状态间的迁移(transition)。如果一个并发的状态由n个并发的子状态图组成，那么，该并发状态在某时刻的状态由__(8)__个子状态图中各取一个状态组合而成。协作图描述了协作的__(9)__之间的交互和链接(1ink)，它画成__(10)__图的形式。

(6)：A．人员        B．单位         C．人员或单位       D．人员或外部系统

(7)：A．类          B．状态         C．活动             D．协作

(8)：A．每一        B．任意一       C．任意二           D．任意m(m≤n)

(9)：A．对象        B．类           C．用例             D．状态

(10)：A．对象       B．类           C．用例             D．状态