【发布时间】：2021-08-31 00:37:32
【问题描述】：
L{a^n b^m d^n where n>=0,m=2n 的上下文无关文法
S -> ABD
A ->aB|a
B ->bB|b D ->dd|dD
这是否正确
【问题讨论】：
标签： context-free-grammar automata
【发布时间】：2021-08-31 00:37:32
【问题描述】：
这是不正确的。我能够使用此语法生成的最短单词是abdd，它不符合您的语言。应该可以为 n=0 构造一个空单词，为 n=1 构造单词abbd。
但是：建议的语言不是上下文无关的，不能用上下文无关的语法来描述。请参阅this 答案以获取证据。
【讨论】：
正确的语法
Context free grammar for L{a^n b^m d^n where n>=0,m=2n
S -> AbbBD | bb
A ->aB|a
B ->bB|b
D->dd|dD
【讨论】：
-
这是不正确的。举个例子：您可以从
S直接转到bb，这不是您的语言中的一个词。