我正在尝试为该语言创建一个无上下文的语法
L = {u2v; u,v E {a,b}*; |u| >= |v|}
但是，我真的不明白如何从这里接受 .
我的想法是，对于我在你生成的每个a / b字符，我应该在字符串v中生成另一个a / b字符 . 我最大的问题是那里的符号2，因为我不知道如何在完成之后添加它所有这些或如何写一条规则，说它应该被跳过 .
如何构建这种语法？
无上下文语法将是：
G = ({S,T},{a,b,2,},S,P) P: S-> aSa | aSb | bSa | bSb | T T-> aT | bT | 2
1 回答
无上下文语法将是：