BNFC 解析器和括号 Mathematica 类语法

Question

我对@9​​87654321@ 进行了一些尝试，并尝试重新设计Mathematica 语言的部分内容。我的 BNF 已经有大约 150 行并且工作正常，直到我注意到一个非常基本的错误。 Mathematica 中的括号 [] 用于两种不同的事物

1. expr[arg]调用函数
2. list[[spec]] 访问表达式的元素，例如List

假设我想为一种语言创建解析器，该语言只包含标识符、函数调用、元素访问和表达式序列作为参数。这些表格是有效的

f[]
f[a]
f[a,b,c]
f[[a]]
f[[a,b]]

f[a,f[b]]
f[[a,f[x]]]

BNFC 的直接但明显错误的输入文件可能看起来像

entrypoints Expr ;

TSymbol.        Expr1 ::= Ident ;
FunctionCall.   Expr ::= Expr "[" [Sequence] "]" ;
Part.           Expr ::= Expr "[[" [Sequence] "]]" ;    
coercions Expr 1 ;

separator Sequence "," ;
SequenceExpr. Sequence ::= Expr ;

此 BNF 不适用于第一个代码块的最后两个示例。

问题似乎出在创建的Yylex lexer 文件中，该文件分别匹配] 和]]。这是错误的，因为从最后一个示例中可以看出，它是关闭 ] 还是 ]] 取决于上下文。因此，要么您必须创建一堆大括号以确保正确匹配，要么将其留给解析器。

有人可以告诉我是否可以通过 BNFC 实现这一点？

（顺便说一句，其他提示也将不胜感激）

Answer 1

您的问题是令牌“]]”。如果词法分析器在没有 任何关于它的过去的记忆，它都可能是错误的。所以不要那样做！

根据定义，解析器会记住它的左上下文，所以你可以得到 它可以正确地进行括号匹配。

我会这样定义你的语法：

FunctionCall.   Expr ::= Expr "[" [Sequence] "]" ;
Part.           Expr ::= Expr "[" "[" [Sequence] "]" "]" ;   

词法分析器仅检测单个“[”“]”作为标记。

一个奇怪的变种：

FunctionCall.   Expr ::= Expr "[" [Sequence] "]" ;
Part.           Expr ::= Expr "[[" [Sequence] "]" "]" ; 

词法分析器也将“[[”检测为标记，因为它不会被弄错。