正确的无限制语法适用于：

Question

我似乎无法找出无限制语法

L = (wa m b n | w={a,b}* m=number of a's in wn=number of b's in w).

我为此构建了以下语法，但是它一直拒绝我在JFLAP中输入的每个字符串。 但是手动为其创建一个解析树不会给我带来任何问题。 谁能帮我看看这是怎么回事？

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

Answer 1

我已经在您的语法上下载并使用了JFLAP。 我认为问题在于您没有使用JFLAP用于语法输入的表示法。 它不使用| 符号，但您必须提供几个规则。 因此，在JFLAP表示法（以及仍然有效的语法）中，您将具有：

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

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