巴科斯·瑙爾形式同化

Question

這是實現冪PowExp的正確關聯性的正確方法嗎？ 這樣2 ^ 3 ^ 4實際上是（2 ^（3 ^ 4））

<Exp> ::= <Exp> + <MulExp>
| <Exp> - <MulExp>
| <MulExp>
<MulExp> ::= <MulExp> * <PowExp>
| <MulExp> / <PowExp>
| <PowExp>
<PowExp> ::= <NegExp> ^ <PowExp>
|<NegExp>
<NegExp> ::= - <RootExp>
| <RootExp>
<RootExp> ::= ( <Exp> )
| 1 | 2 | 3 | 4

Answer 1

您編寫的方式是正確的。

順便說一下，您可能想重新考慮您的層次結構; 在常規數學中，-3 ⁴是 - （3 ⁴ ），而不是（-3） ⁴ 。 因此，您可能希望- 3 ^ 4表示- (3 ^ 4) ，在這種情況下， NegExp將包含PowExp而不是其他方式。 （不過，我想這可能是混亂，如果-3 ^ 4的手段-(3 ^ 4)所以也許有這里沒有直觀的訂單中的操作另一種可能性是需要要么讀書圓括號，具有PowExp和NegExp都依賴直接在RootExp 。）