是否可以使用 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-orient_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

是的。假设您的意思是也使用后记符号，则意味着您将定义类似以下的表达式：

expression: operand operand operator

而不是更常见的中缀符号：

expression: operand operator operand

但这几乎不是什么大问题。如果您所说的“类似后记”是指其他内容，您可能必须先澄清才能给出更好的答案。

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

operand_list: 
            | operand_list operand
            ;

operator_list: 
             | operator_list operator
             ;

expression: operand_list operator_list
          ;

就目前情况而言，这不会尝试强制任何特定操作数存在适当数量的运算符 - 您必须单独添加这些检查。在典型情况下，后记符号在堆栈机上执行，因此大多数此类检查变成简单的堆栈检查。

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