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;}

但这仅适用于前 2 个单词。显然我做错了什么，可能在递归定义中？任何提醒表示赞赏:)

Answer 1

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

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

下面是更新的 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 短语，但不能同时识别两个短语或问题第 2 行暗示的顺序。