6

我正在与 Ragel 合作评估 FSA，并且我想嵌入一个用户操作，该操作在我的机器完成输入测试时运行。无论机器是否以接受状态结束，我都需要运行此操作。我从 Ragel 指南中获取了这个修改后的示例，该示例说明了我的目标：

#include <string.h>
#include <stdio.h>

%%{
    machine foo;
    main := ( 'foo' | 'bar' ) 0 @{ res = 1; } $/{ finished = 1; };
}%%
%% write data;
int main( int argc, char **argv ) {
    int cs, res = 0, finished = 0;
    if ( argc > 1 ) {
        char *p = argv[1];
        char *pe = p + strlen(p) + 1;
        char* eof = pe;
        %% write init;
        %% write exec;
    }

    printf("result = %i\n", res );
    printf("finished = %i\n", finished);

    return 0;
}

对于这个例子，我的目标是当输入为“foo”或“bar”时 res 为 1，而无论输入如何，finished 为 1。我无法让它工作 - 当 res 为 1 时，finished 似乎是 1，而当 res 为 0 时，finished 似乎是 0。

任何帮助都是极好的。

4

2 回答 2

3

eof 动作将在 时发生p == pe == eof。另一个重要的事情是，当你的状态机无法匹配任何状态时，状态会出错，匹配会停止，这意味着你永远无法走到尽头。

让我们看看你什么时候输入foo1。解析为 时o，一切正常。但是下一个字符1无法匹配您指定的任何状态，因此会发生错误。你永远不会遇到 eof 动作。所以变量res和finish都是0。

当您输入时foo，一切正常。状态可以走到尽头。于是发生了eof动作。

您可以设置错误操作以查看会发生什么：

%%{
    main := ( 'foo' | 'bar' ) 0 @{ res = 1; } $err{ printf("error : %c", fc);} $/{ finished = 1; };
}%%

您可以尝试使用此代码来满足您的需求：

%%{
    main := (( 'foo' | 'bar' ) 0 @{ res = 1; } | any* ) $/{ finished = 1; };
}%%
于 2013-06-09T11:05:40.937 回答
1

尝试这个：

main := ( 
    'foo' 0 @2 @{ res = 1; } | 
    'bar' 0 @2 @{ res = 1; } |
    any*
    ) @{ finished = 1; };
于 2013-06-06T11:15:23.993 回答