2} 的上下文无关文法

【问题标题】：Context free grammar for L{a^n b^m c^t where t>0,m>0,n>2}L{a^n b^m c^t where t>0,m>0,n>2} 的上下文无关文法
【发布时间】：2021-08-30 04:23:59
【问题描述】：

对于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

这是正确的吗？

【问题讨论】：

欢迎来到 Stack Overflow。请通过tour 了解 Stack Overflow 的工作原理，并阅读How to Ask 以了解如何提高问题的质量。然后查看help center，看看你可以问什么问题。您可能想删除此问题并改为在 cs.stackexchange.com 上提问，但请先查看那里的帮助页面。

标签： context-free-grammar

【解决方案1】：

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

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

我建议以下语法：

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

【讨论】：