Parsing 更正以下内容的无限制语法：

我似乎搞不懂这个词的无限制语法

L=（w am bn | w={a，b}*m=w中a的数量n=w中b的数量）。

我为它构造了以下语法，但它一直拒绝我在JFLAP中输入的每个字符串。但是手动为它创建一个解析树并没有问题。谁能帮我看一下，看看出了什么问题吗

S -> AST | BSU | epsilon
UT -> TU
T -> A
U -> B
A -> a
B -> b

---

我已经下载并使用了你的语法。我认为问题在于您没有使用JFLAP用于语法输入的符号。它没有使用

|

符号，但您必须提供几个规则。因此，在JFLAP表示法（以及仍然有效的语法）中，您将有：

S -> AST 
S -> BSU 
S -> ε
UT -> TU
T -> A
U -> B
A -> a
B -> b

---

您还需要在FLAP首选项中将空字符串设置为ε。如果可以手动创建解析树，也可以在JFLAP中执行此操作以显示派生。

该语法将匹配许多字符串

vw

，其中

v

和

w

具有相同数量的

a

s和相同数量的

b

s。这是目标语言的超集。我不知道为什么JFLAP没有找到一个派生词。