使用menhir和OCaml重载乘法

Question

我编写了一个词法分析器和解析器来分析线性代数语句。 每个语句由一个或多个表达式组成，后跟一个或多个声明。 我正在使用menhir和OCaml来编写词法分析器和解析器。

例如：Ax = b，其中A是可逆的。

这应该被理解为A * x = b，（A，可逆）

在表达式中，所有id必须是大写或小写符号。 我想重载乘法运算符，以便用户不必输入'*'符号。

但是，由于词法分析器还需要能够读取字符串（例如在这种情况下为“可逆”），表达式的“Ax”部分将作为字符串发送到解析器。 这会导致解析器错误，因为在语句的表达式部分中不应遇到任何字符串。

这是语法的基本思想

stmt :=
  | expr "."
  | decl "."
  | expr "," decl "."

expr :=
  | term
  | unop expr
  | expr binop expr

term :=
  | <int> num
  | <char> id
  | "(" expr ")"

decl :=
  | id "is" kinds

kinds :=
  | <string> kind
  | kind "and" kinds

有没有办法分离各个字符并告诉解析器它们应该被视为乘法？ 有没有办法改变词法分析器，以便足够聪明地知道逗号之前的所有字符簇都是id，后面的所有簇都应该被视为字符串？

Answer 1

在我看来，你有两个问题：

1. 您希望词法分析器在不同的地方以不同方式处理字符序列。

2. 您希望乘法由相邻表达式指示（中间没有运算符）。

我将在词法分析器中解决的第一个问题。

一个问题是为什么你说你需要使用字符串。 这意味着你可以说有一套完全开放的东西。 这可能是真的，但是如果你可以将自己限制在一个很小的数字，你可以使用关键字而不是字符串。 例如， invertible是一个关键字。

如果你真的想在这些地方允许任何字符串，那么肯定仍然可以破解词法分析器，以便它保持描述它所看到的状态，并展望未来。 如果您不需要遵守预定义的语法，则可以调整语法以使其更容易。 （例如，您只能将逗号用于一个目的。）

对于第二个问题，我要说你需要为你的语法添加邻接。 即，你的语法需要一个规则，如term := term term 。 我怀疑让它正常工作很棘手，但它确实在OCaml（其中相邻表达式代表函数应用程序）和awk（其中相邻表达式表示字符串连接）中有效。