是否可以使用带有 bison/yacc 的逆波兰表示法为一种语言生成解析器？

Question

是否可以使用 bison/yacc 为使用反向波兰表示法（和类似 Postscript 的语法）的脚本语言生成解析器？

解析器应该能够解析类似于以下的代码：

/fib
{
  dup dup 1 eq exch 0 eq or not
  {
    dup 1 sub fib
    exch 2 sub fib
    add
  } if
} def

Answer 1

鉴于上面的简短描述和维基百科上的注释：
http://en.wikipedia.org/wiki/Stack-oriented_programming_language#PostScript_stacks

上面的一个简单的野牛语法可能是：

%token          ADD
%token          DUP
%token          DEF
%token          EQ
%token          EXCH
%token          IF
%token          NOT
%token          OR
%token          SUB
%token          NUMBER
%token          IDENTIFIER

%%


program         :   action_list_opt
action_list_opt :   action_list
                |                           /* No Action */
action_list     :   action
                |   action_list action
action          :   param_list_opt operator
param_list_opt  :   param_list
                |                           /* No Parameters */
param_list      :   param
                |   param_list param
param           :   literal
                |   name
                |   action_block

operator        :   ADD
                |   DUP
                |   DEF
                |   EQ
                |   EXCH
                |   IF
                |   NOT
                |   OR
                |   SUB

literal         :   NUMBER
name            :   '/' IDENTIFIER
action_block    :   '{' program '}'


%%

Answer 2

是的。假设您的意思是也使用 postscript 表示法，这意味着您将定义您的表达式，例如：

expression: operand operand operator

而不是更常见的中缀表示法：

expression: operand operator operand

但这算不上什么大不了的事。如果您所说的“类似 Postscript”的意思是其他意思，您可能需要先澄清一下，然后才能给出更好的答案。

编辑：允许任意数量的操作数和运算符也很容易：

operand_list: 
            | operand_list operand
            ;

operator_list: 
             | operator_list operator
             ;

expression: operand_list operator_list
          ;

就目前而言，这并不试图强制任何特定操作数存在正确数量的运算符 - 您必须单独添加这些检查。在典型情况下，postscript 表示法在堆栈机器上执行，因此大多数此类检查都成为简单的堆栈检查。

我应该补充一点，尽管您确实可以用 yacc 之类的东西编写这样的解析器，但使用 postscript 表示法的语言通常需要如此最少的解析，以至于您经常将它们直接提供给某种虚拟机解释器，该解释器执行它们非常直接，只需最少的解析（大多数情况下，如果您尝试使用尚未定义的名称，解析会引发错误）。