Lemon LALR 解析器的简单语法

Question

我已经被这个问题困扰了一段时间了。我想解析一些简单的东西：

喜欢：word1 word2 .. wordN 讨厌：word1 word2 .. wordN

我正在使用 Lemon+Flex。目前我的语法看起来像这样：

%left LIKES MOODS FROM HATES INFO.

%syntax_error {  
  std::cout << "Syntax error!" << std::endl;  
}   

final ::= likes_stmt.
final ::= hates_stmt.

likes_stmt ::= LIKES list(A). { Data *data=Data::getInstance();data->likes.push_back(A);}
hates_stmt ::= HATES list(A). { Data *data=Data::getInstance();data->hates.push_back(A);}

list ::= likes_stmt VALUE(A).   { Data *data=Data::getInstance();data->likes.push_back(A);}
list ::= hates_stmt VALUE(A).   { Data *data=Data::getInstance();data->hates.push_back(A); }

list(A) ::= VALUE(B).           {A=B;}

但这仅适用于前两个单词。显然我做错了什么，可能是在递归定义中？如有任何提示，我们将不胜感激:)

Answer 1

@crozzfire，Ira 为您原来的问题提供了正确的答案，请考虑投票。

让我回答这个问题，并提出将解析值分成两个列表的附加要求。不要创建不同的规则来解析这些列表，因为两种情况下列表的语法是相同的。您需要的是一个标志来指示列表前面是否找到了“喜欢”或“讨厌”。 Lemon 的 Parse 函数的第四个参数最适合这种需求。请参阅 Lemon 文档 的“解析器接口”部分。

下面是更新的 Ira 语法，用于设置和检查此类标志变量。请注意，规则 set_likes_state 和 set_hites_state 需要放置在 LIKES 和 HATES 令牌之前，以便在令牌减少时执行关联操作。

    %extra_argument {unsigned* state}

    final ::= likes_stmt.
    final ::= hates_stmt.

    likes_stmt ::= set_likes_state LIKES list(A).
    hates_stmt ::= set_hites_state HATES list(A).

    list ::= list VALUE(A).   { if (*state == 0) {/*add A to list1*/} else {/*add A to list2*/}; }
    list ::= VALUE(A).        { if (*state == 0) {/*add A to list1*/} else {/*add A to list2*/}; }

    set_likes_state ::= .     { *state = 0; }
    set_hites_state ::= .     { *state = 1; }

Answer 2

在我看来，您的 likes_stmt 是根据列表定义的，而列表是根据喜欢定义的。我很惊讶它对任何单词都有效。可能是我不理解 LEMON 语法（我肯定不明白 list(A) 位），但 BNF 语法往往非常相似。

我希望你的语法看起来更像是：

 final = likes_stmt ;

 likes_stmt = LIKES list ;
 likes_stmt = HATES list ;


  list = value ;
  list = list value ;

当然，这只会识别一个 LIKES 短语或一个 HATES 短语，但不能同时识别或按问题第二行所暗示的顺序识别。