0

我正在编写一个解析器来解析和计算计算器中的函数导数。

我在执行产品和商规则时遇到了问题：对于产品，推导公式是 (u*v)' = u'v+uv'，因此我需要最终输出中的 u 和 u' 的值。使用我目前拥有的解析器，每当需要写 u 时，它已经被 u' 取代，我完全不知道如何保存它的值，甚至是否可能......

这是解析器：

%token <string> VAR FUNCTION CONST
%token LEFT_B RIGHT_B PLUS MINUS TIMES DIV
%token DERIV
%token EOL

%start<string> main

%%

main:
t = toDeriv; EOL {t}
;

toDeriv:
DERIV; LEFT_B; e = expr; RIGHT_B {e}
;

expr:
u = expr; PLUS v = hat_funct {u^"+"^v}
  | u = expr; MINUS; v = hat_funct {u^"-"^v}
  | u = hat_funct {u}
;

hat_funct:
u = hat_funct TIMES v = funct {Printf.sprintf "%s * %s + %s * %s" u (A way to save v) v (A way to save u)}
  | u = hat_funct DIV v = funct {Printf.sprintf "(%s * %s - %s * %s)/%s^2" u (A way to save v) (A way to save u) v (A way to save v)}
  | u = funct {u}
;

funct:
f = func; LEFT_B; c = content; RIGHT_B {Derivatives.deriv_func f c}
;

content:
e = expr {e}
  | x = VAR {x}
  | k = CONST {k}

func:
f = FUNCTION {f}
  | k = CONST {k}
;

PS：我知道它可能根本不是最好的语法定义，它仍在进行中

4

1 回答 1

1

直接回答您的问题，是的，您可以保持已处理内容的状态。但这不是事情的处理方式。惯用的解决方案是编写一个解析器，将输入语言解析为抽象语法树，然后编写一个求解器，将该树作为输入并计算它。你不应该在解析器中做任何事情，这是一个简单的自动机，不会有任何副作用。

为了让它不那么抽象，你想要从解析器得到的是 function string -> expr，其中exprtype 被定义为

type expr = 
  | Var of string
  | Const of string 
  | Binop of binop * expr * expr
and binop = Add | Mul | Sub | Div
于 2020-05-15T18:29:56.420 回答