语言的补语L = {a ^ n b ^ n | n！= 100}

Question

我不需要证明，因为这是一个客观的考试问题，只允许2分钟。选项为regular或cfl或csl。我不明白如何解决这个问题。

如果我把它写成

(a^n b^n | n<100) UNION (a^n b^n | n>100)

现在调用第一部分L1和第二部分L2，然后尝试使用补充，

  

De-morgons Law L'= L1'INTERSECTION L2'

我不认为这是正确的方式或快速的方式考虑我们只需要花费2-3分钟的事实。还有更好的方法吗？

Answer 1

这是正确的方法， L = {a ^ n b ^ n | n＆lt; 100} UNION {a ^ n b ^ n | N'→100}

第一部分是常规部分，第二部分是DCFL。 现在，L＆＃39; = COMP（{a ^ n b ^ n | n＆lt; 100}）INTERSECT COMP（{a ^ n b ^ n | n＆gt; 100}）

常规补码总是规则的，DCFL补充总是DCFL，因此CFL。

因此，常规交叉CFL给出了CFL。