我有一个练习问题：
L = {a n b m c p | 1 <= n <= m <= p}
是否可以为该练习编写语法？
我不明白如何解决它:(请帮助我
问问题
178 次
1 回答
0
该语言满足无上下文抽引引理的条件（对于该语言中的任何字符串，您可以选择抽c的，并且生成的字符串保留在该语言中），但这不足以证明该语言是上下文无关。
不过，奥格登的引理应该有效。对于足够长的输入字符串，您可以选择“可区分位置”全部为 a，这会强制抽出a ，最终当a的数量达到的数量超过了b或c的数量。
于 2013-06-01T18:45:27.500 回答