context-free-grammar - これら 2 つの文脈自由文法規則は同じですか?

Question

これら 2 つの文法定義に違いはありますか (ここで、|OR を示し;、通常の文字です)。

1. <foo> ::= <bar> | <foo> ; <bar>
2. <foo> ::= <bar> | <bar> ; <foo>

<bar> ; <bar> ; <bar> ; ....foo は、どの定義が使用されているかに関係なく、次のように見えるシーケンスに一致するように思えます。ここに何か不足していますか、それとも機能的に同じですか?

Answer 1

両方の最終結果が 1 つ以上であるため、それらが同等であることに同意します<bar>。しかし、何らかの新しい規則<foo>(端末または 以外の非端末を含む規則) が追加された場合<bar>、それらはおそらく同等ではなくなります。