0

我在 ocaml 中编写了一个程序，给定一个像 1 + 2 这样的中缀表达式，输出前缀表示法：+ 1 2

我的问题是我没有找到一种方法来制定如下规则：所有值、运算符和括号应始终至少用一个空格分隔：1+1 将是错误的 1 + 1 ok。我不想使用 ocamlp4 语法。

这是代码：

open Genlex                                                                                                                                                               

type tree =
  | Leaf of string
  | Node of tree * string * tree

let my_lexer str =
  let kwds = ["("; ")"; "+"; "-"; "*"; "/"] in
    make_lexer kwds (Stream.of_string str)

let make_tree_from_stream stream =
  let op_parser operator_l higher_perm =
    let rec aux left higher_perm = parser
        [<'Kwd op when List.mem op operator_l; right = higher_perm; s >]
        -> aux (Node (left, op, right)) higher_perm s
      | [< >]
        -> left
    in
      parser [< left = higher_perm; s >]        -> aux left higher_perm s
  in
  let rec high_perm l = op_parser ["*"; "/"] brackets l
  and low_perm l = op_parser ["+"; "-"] high_perm l
  and brackets = parser
    | [< 'Kwd "("; e = low_perm; 'Kwd ")" >]    -> e
    | [< 'Ident n >]                            -> Leaf n
    | [< 'Int n >]                              -> Leaf (string_of_int n)
  in
    low_perm stream

let rec draw_tree = function
  | Leaf n              -> Printf.printf "%s" n
  | Node(fg, r, fd)     -> Printf.printf "(%s " (r);
      draw_tree fg;
      Printf.printf " ";
      draw_tree fd;
      Printf.printf ")"

let () =
  let line = read_line() in
    draw_tree (make_tree_from_stream (my_lexer line)); Printf.printf "\n"

另外，如果您对代码有一些提示，或者如果您发现一些 prog 风格的错误，那么我将很感激您让我知道。谢谢 ！

4

1 回答 1

1

Genlex提供了一个现成的词法分析器，它尊重 OCaml 的词法约定，特别是忽略您提到的位置中的空格。我不认为你可以在它之上实现你想要的（它不是一个灵活的解决方案，而是一种让原型工作的快速方法）。

如果您想继续编写流解析器，您可以为它编写自己的词法分析器：定义一个token类型，然后将 a 词法char Stream.t转换为 a token Stream.t，然后您可以根据需要对其进行解析。否则，如果您不想使用 Camlp4，您可能想尝试使用 LR 解析器生成器，例如menhir（更好的 ocamlyacc）。

于 2013-05-06T04:54:56.923 回答