CFL 泵送引理 L = {a^n b^m c^k d^k | n>m}

【问题标题】：CFL Pumping Lemma L = {a^n b^m c^k d^k | n>m}CFL 泵送引理 L = {a^n b^m c^k d^k | n>m}
【发布时间】：2018-06-18 17:44:58
【问题描述】：

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

【问题讨论】：

【解决方案1】：

使用正则语言的泵引理可以证明这种语言不是正则语言。它是上下文无关的，这是它的语法：

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

基本上，认识到 a/b 部分与 c/d 部分完全分开，并将两者的语法连接起来。

【讨论】：