为特定语言创建无上下文语法

Question

我正在尝试为语言

创建一个无上下文的语法

L = {u2v; u,v E {a,b}*; |u| >= |v|}

但是，我真的不明白如何从这里接受。

我的想法是，对于我在你生成的每个a / b角色，我应该在字符串v中生成另一个a / b角色。我最大的问题是那里的符号2，因为我不知道如何在完成所有这些之后添加它或如何编写规则，说明它应该被跳过。

如何构建这种语法？

Answer 1

无上下文语法将是：

G = ({S,T},{a,b,2,},S,P)
P:
S-> aSa | aSb | bSa | bSb | T
T-> aT | bT | 2