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

  A.人员

  B.单位

  C.人员或单位

  D.人员或外部系统

  开始考试点击查看答案
• 2●风险分析和管理是软件开发的一项重要活动。在软件工程领域考虑风险时，主要基于以下三个概念：__(11)__以及必须抓住选择机会。实践中存在许多种软件风险，如“潜在的设计、实现、维护等方面的问题”属于__(12)__风险；“开发了一个没有人真正需要的优秀产品”属于__(13)__风险；“开发的产品不再符合公司的整体商业策略”属于__(14)__风险。通常在软件项目开发过程中，我们希望首先实现__(15)__的用例。

  A.关心当前，关心变化

  B.关心当前，关心不变性

  C.关心未来，关心变化

  D.关心未来，关心不变性

  开始考试点击查看答案
• 3●ISO9000系列标准和软件成熟度模型CMM都着眼于质量和过程管理。ISO9000系列标准的主导思想是：1)强调质量__(16)__；2)使影响产品质量的全部因素始终处于__(17)__状态；3)要求证实企业具有持续提供符合要求产品的__(18)__；4)强调质量管理必须坚持进行质量__(19)__。而CMM则强调持续的__(20)__。

  A.形成于软件需求

  B.形成于软件设计

  C.形成于软件实现

  D.形成于生产的全过程

  开始考试点击查看答案
• 4●多个并发进程使用一个互斥信号量nap时，如果rap=0，则通常表示__(21)__。

  A.有多个进程在临界区中

  B.有一个进程在临界区中

  C.没有进程在临界区中

  D.有一个进程在临界区中，另一些进程正在等待进入临界区

  开始考试点击查看答案
• 5●由于可重用资源的冲突会引起死锁，产生死锁有四个必要条件：互斥、保持和等待、循环等待以及__(22)__分配方式。

  A.资源消耗性

  B.资源非消耗性

  C.不可抢占式

  D.抢占式

  开始考试点击查看答案