0

我正在尝试编写一个从PDDL文件中读取动作及其组件的程序。该程序应首先查找令牌:action(，然后再查找action name等。

以下是我的 lex 代码：

注意：这个问题的答案大多与:(actiontoken、action nametoken和newlinetoken有关，所以你可能只看那些。SC_ACNAME 我的意思是扫描操作名称等。

%{
#include "myscanner.h"
%}

%START SC_ACNAME SC_PARAMETERS SC_PREDICATE SC_BODY

NAME                                [0-9a-zA-Z_\-]+
TEXT                                [0-9a-zA-Z?_\-( \t]+
TEXT_PARAM                          [0-9a-zA-Z?_\-( \t\n]+
TEXTBREAK                           [ \t\n]+

    int lb_flag=0;
    int pred_lb_flag = 0;

%%

\(:action                                                               {lb_flag++; BEGIN SC_ACNAME; return ACTION;}
<SC_ACNAME>{TEXT}                                                       {BEGIN SC_BODY; return ACTION_NAME;}
<SC_BODY>:parameters                                                    {BEGIN SC_PARAMETERS; return PARAMETER;}
<SC_PARAMETERS>{TEXT_PARAM}                                             {lb_flag++; BEGIN SC_BODY; return PARAMETERS;}  
<SC_BODY>:precondition                                                  {BEGIN SC_PREDICATE; return PRECONDITION;}
<SC_BODY>:effect                                                        {BEGIN SC_PREDICATE; return EFFECT;}
<SC_PREDICATE>\(and                                                     {pred_lb_flag++; return CONJUNCTION;}
<SC_PREDICATE>\(not                                                     {pred_lb_flag++; return NEGATION;}
<SC_PREDICATE>\({NAME}({TEXTBREAK}\?{NAME})+\)                          return PREDICATE;
<SC_PREDICATE>\)                                                        {if(pred_lb_flag) pred_lb_flag--; if(!pred_lb_flag) BEGIN SC_BODY; return RIGHT_BRACKET;}
<SC_BODY>\)                                                             {if(lb_flag) lb_flag--; if(!lb_flag) BEGIN 0; return RIGHT_BRACKET;}
<SC_PREDICATE,SC_BODY,SC_ACNAME>{TEXTBREAK}                             ;   

%%

int yywrap(void)
{
    return 1;
}

头文件（myscanner.h）：

#define ACTION 1
#define ACTION_NAME 2
#define PARAMETER 3
#define PARAMETERS 4
#define PRECONDITION 5
#define EFFECT 6
#define CONJUNCTION 7
#define NEGATION 8
#define PREDICATE 9
#define RIGHT_BRACKET 10

在我的 C 程序中：

#include <stdio.h>
#include "myscanner.h"

extern int yylex();
extern int yylineno;
extern char* yytext;

int main(void)
{
    int ntoken, vtoken;

    ntoken = yylex();
    while(ntoken)
    {
        printf("%d", ntoken);
        print("%s", yytext);
        ntoken = yylex();
    }
    return 0;
}

当我尝试标记包含(:action move它的文件时，它会根据需要检测:(action并action name返回 ACTION 和 ACTION_NAME。但是当我在移动（动作名称）后输入换行符时，它什么也检测不到。为什么它不识别令牌(:action？

编辑：

通过测试用例：domain.pddl

(:action move

失败测试用例：domain.pddl

(:action move<nl>

表示换行

4

1 回答 1

1

我鼓励您在in mainputchar('\n');之前添加例如以刷新printf产生的内容，可能是因为那次错过而您没有打印任何内容？return 0;

如果'f'包含该行(:action move<nl>并且我执行a.out < f 该打印1(:action2 move并且当该行未以'f'终止时它是相同的（最后没有）

于 2019-01-08T19:20:28.663 回答