带空字符串的ocamlyacc

Question

所以我有一个语法，其中包含空字符串。语法是这样的：

S->ε

S->表达式;；S

当我运行我的解析器时，我会得到错误“不要放弃更多的状态”，所以我相信我没有正确地表示空字符串。那么，我将如何表示它，特别是在lexer .mll文件中呢？

我知道我需要为它制定一个规则，所以我想我已经把它写下来了。这就是我认为解析器.mly文件应该看起来的样子，不包括用于表达式的内容。

s:
| EMPTY_STRING            { [] }
| expression SEMICOLON s  { $1::$3 }

Answer 1

你认为epsilon是一种象征，但它不是一种象征。这是一个长度为0的记号序列。因为那里没有标记，所以你的扫描器不需要知道。只是解析器需要了解它。

这里有一个语法，和我认为你想要的一样：

%token X
%token SEMICOLON
%token EOF
%start main
%type <char list> main
%%
main :
  s EOF           { $1 }

s :
  | epsilon         { $1 }
  | X SEMICOLON s { 'x' :: $3 }

epsilon :
                  { [] }

请注意，epsilon是一个非终端(不是令牌)。它的定义是一个空的符号序列。