【发布时间】：2015-08-02 20:48:21
【问题描述】：
{xwx|x€{a,b}+,w€{a,b}+}
是普通的还是CFG的？如我所见，我可以将其写为(a+b)(a+b)+(a+b)。所以它应该是正常的，但我不确定。
【问题讨论】：
-
x开头和结尾是一样的，所以你的表达式不等价，因为它不记得第一个x。这不正常。
【发布时间】：2015-08-02 20:48:21
【问题描述】：
正如 poke 所说，这种语言不可能是正则的，因为x 出现了两次。它是一种上下文无关的语言，因为下推自动机可以通过在第一个 x 中推送 a 和 b 并在第二个 x 中弹出它们来接受它。上下文无关语言的一个经典例子是Dyck language，它由带有正确嵌套括号的字符串组成。而且你的两个表达式不等价也是对的。
【讨论】：