Context free grammar for L{a^n b^m c^t where t>0，m>0，n>2}

Question

对于L{a^n b^m c^t where t>0,m>0,n>2}的上下文无关语法

S -> ABC
A ->aB|a
B ->bB|b
C ->cC|c

这是正确的吗？

Answer 1

这是不正确的。您当前的语法将允许解决方案abc，它不是您语法的一部分，因为a出现的次数不会超过两次。

它可以通过以下方式构建：
S -> ABC -> aBC -> abC -> abc

我建议使用以下语法：

S -> aaABC
A -> aA|a
B -> bB|b
C -> cC|c