答案： B

说明

a 和 d 不能被交换，因为函数 mystery() 不会改变值。这意味着函数 mystery 没有交换值。它只是将指针 ptra 和 ptrb 交换到 ptrb 和 ptra 分别指向的位置，这不会影响 main 函数中的值。

因此，选项 (B) 将是正确答案。

答案： D

说明

已知,
   语法 S→ aS | bS | ε
   给定语法的 DFA 是，

该语法生成以下字符串 ε, a, ab, abb, b, aaa, .......

因此，该字符串的语言是：{a, b}^*

因此，选项 (D) 将是正确的答案。

答案：C

说明

如果没有任何算法可以找到它的解决方案，则决策问题是不可判定的。我们知道，在 CFL、CSL、RL 和 RE 的情况下，等价问题始终是不可判定的，类似地，在 TM、CSL、RL 的情况下，空问题是不可判定的。由于给出的问题，III 和 IV 没有解决方案，因此它们是不可判定的。

因此，选项 (C) 将是正确答案。

答案： B

说明

逐个分析每个选项

它表示那些包含 0011 或 1100 作为子字符串的字符串。

它表示 00 和 11 既不是直接的，也没有预定义的顺序的字符串。它提供了包含两个连续 0 和两个连续 1 的所有二进制字符串的集合。

它表示那些包含 00 或 11 作为子字符串的字符串。

它表示以 11 开头并以 00 结尾或以 00 开头并以 11 结尾的字符串。

因此，选项(B)是正确答案。

答案：C

说明

静态单赋值形式用于编译器设计中的中间代码。在这种情况下，对变量的每次赋值都应使用唯一的名称指定。

在给定的代码中，存在两个使用相同变量 x 赋值的代码段
   x = u - t;
   x = y + w;

以及三个使用相同变量 y 赋值的代码段
   y = x * v;
   y = t - z;
   y = x * y

因此，可以如下指定每个代码段的不同赋值变量
   x₁ = u - t;
   y₁ = x₁ * v;
   x₂ = y₁ + w;
   y₂ = t - z;
   y₃ = x₂ * y₂;

因此，变量总数为 10 (x₁, x₂, y₁, y₂, y₃, t, u, v, w, z)。

因此，选项 (C) 将是正确答案。

答案： A

说明

最短作业优先 (SJF) 提供最短的周转时间、最短的平均等待时间和高吞吐量，因此它在所有 CPU 调度算法中都是最优的。

同样，最短剩余时间优先 (SRTF) 是抢占式最短作业优先调度算法。这种调度算法可能导致饥饿问题，因为如果进程持续到达调度程序，那么当前正在运行的进程将永远无法执行，因为它们将被抢占。

因此，在给定的问题中，所有进程都同时到达，因此不存在饥饿问题。

因此，选项 (A) 将是正确答案。

答案： B

说明

我们知道，
   超键 = 候选键/主键 + 其他属性
   因此，选项 A、C、D 具有主键 V Y，因此它是超键。
   选项 (B) 没有主键 V Y，因此它不会是超键。
   因此，选项 (B) 是正确的答案。

答案： D

说明

ACID 模型是数据库理论中最重要的概念之一。在数据库中，每个事务可能包含几个低级任务和一个非常小的程序单元。有一组属性保证数据库事务被可靠地处理。这些属性称为 ACID 属性，它们指的是事务的四个关键属性

A - 原子性
C - 一致性
I - 隔离性
D - 持久性

因此，选项(D)是正确答案。