3

我正在重做我最初在 Perl 上构建的迷你语言（请参阅github 上的 Chessa#），但是当我应用语义时遇到了许多问题。

这是语法：

(* integers *)
DEC = /([1-9][0-9]*|0+)/;
int = /(0b[01]+|0o[0-7]+|0x[0-9a-fA-F]+)/ | DEC;
(* floats *)
pointfloat = /([0-9]*\.[0-9]+|[0-9]+\.)/;
expfloat = /([0-9]+\.?|[0-9]*\.)[eE][+-]?[0-9]+/;
float = pointfloat | expfloat;
list = '[' @+:atom {',' @+:atom}* ']';
(* atoms *)
identifier = /[_a-zA-Z][_a-zA-Z0-9]*/;
symbol = int        |
         float      |
         identifier |
         list;
(* functions *)
arglist = @+:atom {',' @+:atom}*;
function = identifier '(' [arglist] ')';
atom = function | symbol;
prec8 = '(' atom ')' | atom;
prec7 = [('+' | '-' | '~')] prec8;
prec6 = prec7 ['!'];
prec5 = [prec6 '**'] prec6;
prec4 = [prec5 ('*' | '/' | '%' | 'd')] prec5;
prec3 = [prec4 ('+' | '-')] prec4;
(* <| and >| are rotate-left and rotate-right, respectively. They assume the nearest C size. *)
prec2 = [prec3 ('<<' | '>>' | '<|' | '>|')] prec3;
prec1 = [prec2 ('&' | '|' | '^')] prec2;
expr = prec1 $;

我遇到的问题是，d当运算符和任何后续字母数字字符串之间不存在空格时，运算符被拉入标识符规则。虽然语法本身是 LL(2)，但我不明白问题出在哪里。

例如，4d6停止解析器，因为它被解释为4 d6，其中d6是标识符。应该发生的是它被解释为4 d 6,d是一个运算符。在 LL 解析器中，情况确实如此。

一种可能的解决方案是禁止d从标识符开始，但这将禁止诸如这样drop命名的函数。

4

2 回答 2

3

在 Perl 中，您可以使用Marpa，一个通用 BNF 解析器，它支持开箱即用的具有关联性（以及更多）的广义优先级，例如

:start ::= Script
Script ::= Expression+ separator => comma
comma ~ [,]
Expression ::=
    Number bless => primary
    | '(' Expression ')' bless => paren assoc => group
   || Expression '**' Expression bless => exponentiate assoc => right
   || Expression '*' Expression bless => multiply
    | Expression '/' Expression bless => divide
   || Expression '+' Expression bless => add
    | Expression '-' Expression bless => subtract

完整的工作示例在这里。至于编程语言，有一个基于 Marpa 的 C 解析器。

希望这可以帮助。

于 2014-09-26T16:44:56.280 回答
1

您的示例的问题是 Grakonameguard默认启用了该功能，并且不允许仅解析提前的d时间。d6

要禁用该功能，请实例化您自己的Buffer并将其传递给生成的解析器的实例：

from grako.buffering import Buffer
from myparser import MyParser

# get the text
parser = MyParser()
parser.parse(Buffer(text, nameguard=False), 'expre')

Bitbucket 存储库中 Grako 的尖端版本为生成的解析器添加了--no-nameguard命令行选项。

于 2014-09-25T21:14:01.050 回答