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

Question

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

如果我们写成

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

现在叫第一部分L1和第二部分L2，然后尝试称赞使用，

底蕴定律L'= L1'交点L2'

考虑到我们只需要花费2-3分钟的时间，我认为这不是正确的方法还是快速的方法。 有更好的办法吗？

Answer 1

这是正确的方法，L = {a ^ nb ^ n | n <100} UNION {a ^ nb ^ n | N> 100}

第一部分是常规的，第二部分是DCFL。 现在，L'= COMP（{a ^ nb ^ n | n <100}）相交COMP（{a ^ nb ^ n | n> 100}）

常规补码始终是常规补码，DCFL补码始终是DCFL，因此也就是CFL。

因此，常规相交CFL就是CFL。