📜  门| GATE 2017 MOCK II |第 41 题

📅  最后修改于: 2021-09-25 07:19:04             🧑  作者: Mango

语言 L = {WbcW R | W ∈ (a+b)*} 是 _____。
(A)直流荧光灯
(B) CFL 但不是 DCFL
(C)非 CFL
(D)以上都不是答案:(一)
说明:我们可以拥有确定性 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。这个问题的测验