软件设计师4

从供选择的答案中，选出应填人下面叙述中_?_内的最确切的解答，把相应编号写在答卷的对应栏内。  一、  信号量是操作系统中用作互斥和同步机制的一个共享的整数变量。信号量仅可以由初始化、唤醒(Signa1)和等待(Wait)三种操作访问。 　　
对于给定的信号量 S，等待操作 Wait(S)(又称 P操作)定义为 　if S＞0 then _A_ else 挂起调用的进程
唤醒操作 Signa1(S)(又称 V操作)定义为 if 存在等待的进程 then 唤醒这个进程 else _B_ 　　给定信号量 S，可以定义一个临界区来确保其互斥、即保证在同一时刻这个 临界区只能够被一个进程执行。
当 S被初始化为1时，代码段 　_C_ ； 　　{临界区} 　_D_ 定义了一个临界区。 这样的临界区实际上是将共享数据和对这些数据的操作―起封装起来、通过其互斥机制一次只允许一个进程进入，这种临界区通常称为_E_。 供选择的答案 　　
A～D：①S：＝0　②S：＝S十1  ③S：＝S―1 　④S：＝1 　⑤Signa1(S＋1)　⑥Wait(S－1)　⑦Signa1(S)　　　 ⑧ Wait(S) 　　　
E： ①模块　　②类程　　③管程　　　④线程

二 、假设某程序语言的文法如下：
S→S a T�OT
T → T b R�OR
R→ P d R�OP
P→ f S g�Oe　　
其中：VT＝｛a, b, d, e, f, g｝；VN＝｛S,T,R,P｝；S是开始符号。那么，此方法是＿A＿方法。这种文法的语法分析通常采用优先距阵，优先矩阵给出了该文法中各个终结符之间的优先关系系〔大于，小于，等于，无关系）。在上述文法中，某些终结符之间的优先关系如下：b＿B＿a; f＿C＿g; a＿D＿a; d＿E＿d。
供选择的答案
A：①正则文法　　　　　 ②算符文法　　　　　 ③二义文法　　　　　 ④属性文法
B：①大于 　　　　　　　②小于　　　　　　　 ③等于 　　　　　　　④无关系
C：①大于 　　　　　　　②小于 　　　　　　　③等于 　　　　　　　④无关系
D：①大于 　　　　　　　②小于 　　　　　　　③等于　　　　　　　 ④无关系
E：①大于 　　　　　　　②小于 　　　　　　　③等于　　　　　　　 ④无关系