正確的無限制語法適用於：

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中執行此操作以顯示派生樹。