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}
我在使用无上下文抽取引理解决这个练习时遇到了一些麻烦。有人可以帮忙吗？
使用正则语言的抽取引理可以证明该语言不是正则的。它是上下文无关的，这是它的语法：
S -> LR
L -> a | aL | aLb
R -> e | cRd
基本上，认识到 a/b 部分与 c/d 部分是完全分开的，并将两者的语法连接起来。
我在使用无上下文抽取引理解决这个练习时遇到了一些麻烦。有人可以帮忙吗？
使用正则语言的抽取引理可以证明该语言不是正则的。它是上下文无关的，这是它的语法：
S -> LR
L -> a | aL | aLb
R -> e | cRd
基本上，认识到 a/b 部分与 c/d 部分是完全分开的，并将两者的语法连接起来。