📜  门| GATE-CS-2007 |问题30

📅  最后修改于: 2021-07-02 17:38:24             🧑  作者: Mango

语言L = {0 i 21 i |字母{0,1,2}上的i≥0}为:
(一)不递归
(B)是递归的,并且是确定性CFL。
(C)是一种普通语言。
(D)不是确定性CFL,而是CFL。答案: (B)
说明:让我们首先为给定语言设计确定性下推自动机

  • 对于每次出现的“ 0”,我们将X推入堆栈。
  • 当出现“ 2”时,不执行堆栈操作。但是,自动机的状态改变了。
  • 对于每次出现的“ 1”,我们从堆栈中弹出X。
  • 如果最后Z 0在堆栈顶部,则接受输入字符串

我们还为给定的语言设计了图灵机

  • 当输入字符串出现’0’时,我们用X替换它,然后遍历到最右边的角,并用Y替换’1’。
  • 我们回到最左边的“ 0”并重复以上过程。
  • 从输入字符串的开头向右移动时,如果在X后面出现“ 2”,而在“ 2”后面出现Y,则我们到达HALT状态。

    因此,给定的语言是递归的。每种递归语言都是CFL。
    因此,选项(B)就是答案。

    如果您在以上文章中发现任何错误,请在下面发表评论。

这个问题的测验