CFL泵浦引理L = {a ^ n b ^ m c ^ k d ^ k | N'GT; M}

Question

我在解决这个练习时遇到了一些麻烦，没有上下文的抽取引理。有人可以帮忙吗？

Answer 1

使用普通语言的泵浦引理可以证明这种语言不是常规的。它是无上下文的，这是它的语法：

S -> LR
L -> a | aL | aLb
R -> e | cRd 

基本上，认识到a / b部分与c / d部分完全分开，并为两者中的每一部分连接语法。