有限域中的计算器语法

Question

除了一件事之外，我还有一个可以工作的计算器：一元运算符'-'。

必须在两种不同的情况下进行评估和处理：

1. 当有一些表达式进一步像这样 -(3+3)
2. 当没有时：-3

对于案例 1，我想得到一个后缀输出 3 3 + - 对于案例 2，我想在此字段中获取此标记的正确值，例如在 Z10 中为 10-3 = 7。

我目前的想法：

E:  ...
    |   '-' NUM %prec NEGATIVE      { $$ = correct(-yylval); appendNumber($$);          }
    |   '-' E %prec NEGATIVE        { $$ = correct(P-$2); strcat(rpn, "-");                                 }
    |   NUM     { appendNumber(yylval); $$ = correct(yylval); }

其中 NUM 是一个标记，但显然编译器说存在冲突减少/减少，因为 E 在某些情况下也可以是 NUM，尽管它有效，但我想摆脱编译器警告......我用完了想法。

Answer 1

必须在两种不同的情况下进行评估和处理：

不，它没有。情况并不明显。

- E 和 - NUM 都不正确。正确的语法应该是这样的：

primary
    : NUM
    | '-' primary
    | '+' primary /* for completeness */
    | '(' expression ')'
    ;

Answer 2

一般情况下，这应该实现成两条规则（伪代码，我不懂bison语法）：

这是表达式的“终端”元素的可能规则。自然，带括号的表达式会导致递归到顶级规则：

Element => Number
           | '(' Expression ')'

一元减号（还有一元加号！）仅在产生式堆栈的上一级（语法规则）：

Term =>    '-' Element
           | '+' Element
           | Element

当然，这可以分解为所有可能的组合，例如'-' Number、'-' '(' Expression ')'，同样可以使用'+'，并且根本不需要任何一元运算符。

假设我们需要加法/减法和乘法/除法。然后语法的其余部分将如下所示：

Expression => Expression '+' MultiplicationExpr
              | Expression '-' MultiplicationExpr
              | MultiplicationExpr

MultiplicationExpr => MultiplicationExpr '*' Term
                      | MultiplicationExpr '/' Term
                      | Term

---

为了完整起见：

终端：

• Number

非终端：

• Expression
• Element
• Term
• MultiplicationExpr

Number，它是一个终端，应该匹配一个像 [0-9]+ 这样的正则表达式。换句话说，它不解析减号——它总是一个正整数（或零）。负整数通过匹配'-' Number 标记序列计算。