📜  门| Sudo GATE 2021 测验 |第 45 题

📅  最后修改于: 2021-09-26 03:04:43             🧑  作者: Mango

语言 L = {WbcW R | W ∈ (a+b)*} 是 _____。

注意 –此问题是多选题 (MSQ)。
(A)常规
(B)直流荧光灯
(C)节能灯
(D) CFL 但不是 DCFL答案: (B) (C)
说明:我们可以拥有确定性 PDA 的任何语言始终是 DCFL。
这里对于语言 L= {WbcWR | W ∈ (a+b)*} 我们可以有一个具有以下转换的 PDA,其中 PDA 在它停止在最终状态时接受一个字符串。 q0 处于初始状态,qf 是最终状态。

1. (q0, a, Z) -> (q0, aZ)

2. (q0, b, Z) -> (q0, bZ)

3. (q0, a, a) ->(q0, aa)

4. (q0, b, a) -> (q0, ba)

5. (q0, a, b) -> (q0, ab)

6. (q0, b, b) -> (q0, bb)

7. (q0, c, b) -> (q1, null)

8. (q1, a, a) ->(q1, null)

9. (q1, b, b) -> (q1, null)

10. (q1, null, Z ) -> (qf, Z)

在这里,所有 a 和 b 最初都被压入 W 的堆栈。一旦 ac 出现在 b 之后,B 就会从堆栈中弹出,然后检查 W^R。如果进一步的字符串字母匹配
堆栈中的字母从堆栈和最后字符串的弹出字母到达最终状态,如果语言的形式为升= {WbcW ^ R | W∈(a+b)*}。

因此上述语言是 DCFL,所以是 CFL。
这个问题的测验
如果您发现上面的帖子有任何错误,请在下面评论