我试图建立一个Bison语法,似乎缺少了一些东西。我将其保持为非常基础,但仍然遇到语法错误,无法弄清原因:

这是我的野牛代码:

%{

#include <stdlib.h>
#include <stdio.h>

int yylex(void);
int yyerror(char *s);

%}

// Define the types flex could return
%union {
    long lval;
    char *sval;
}

// Define the terminal symbol token types
%token <sval> IDENT;
%token <lval> NUM;

%%

Program:
    Def ';'
    ;

Def:
    IDENT '=' Lambda { printf("Successfully parsed file"); }
    ;

Lambda:
    "fun" IDENT "->" "end"
    ;

%%

main() {
    yyparse();
    return 0;
}

int yyerror(char *s)
{
  extern int yylineno;  // defined and maintained in flex.flex
  extern char *yytext;  // defined and maintained in flex.flex

  printf("ERROR: %s at symbol \"%s\" on line %i", s, yytext, yylineno);
  exit(2);
}

这是我的弹性代码
%{
#include <stdlib.h>
#include "bison.tab.h"
%}

ID [A-Za-z][A-Za-z0-9]*
NUM [0-9][0-9]*
HEX [$][A-Fa-f0-9]+
COMM [/][/].*$

%%

fun|if|then|else|let|in|not|head|tail|and|end|isnum|islist|isfun    {
    printf("Scanning a keyword\n");
}


{ID}    {
    printf("Scanning an IDENT\n");
    yylval.sval =  strdup( yytext );
    return IDENT;
}

{NUM}   {
    printf("Scanning a NUM\n");
    /* Convert into long to loose leading zeros */
    char *ptr = NULL;
    long num = strtol(yytext, &ptr, 10);
    if( errno == ERANGE ) {
            printf("Number was to big");
            exit(1);
    }

    yylval.lval = num;
    return NUM;
}

{HEX}   {
    printf("Scanning a NUM\n");
    char *ptr = NULL;
    /* convert hex into decimal using offset 1 because of the $ */
    long num = strtol(&yytext[1], &ptr, 16);
    if( errno == ERANGE ) {
            printf("Number was to big");
            exit(1);
    }

    yylval.lval = num;
    return NUM;
}


";"|"="|"+"|"-"|"*"|"."|"<"|"="|"("|")"|"->" {
    printf("Scanning an operator\n");
}

[ \t\n]+ /* eat up whitespace */


{COMM}* /* eat up one-line comments */

.   {
    printf("Unrecognized character: %s at linenumber %d\n", yytext, yylineno );
    exit(1);
}

%%

这是我的 Makefile :
all:    parser

parser: bison flex
    gcc bison.tab.c lex.yy.c -o parser -lfl

bison:  bison.y
    bison -d bison.y

flex:   flex.flex
    flex flex.flex

clean:
    rm bison.tab.h
    rm bison.tab.c
    rm lex.yy.c
    rm parser

一切都可以编译,我不会遇到任何错误。

这是我的测试文件
f = fun x -> end;

这是输出:
./parser < a0.0
Scanning an IDENT
Scanning an operator
Scanning a keyword
Scanning an IDENT
ERROR: syntax error at symbol "x" on line 1

由于x似乎被识别为IDENT,因此规则应该正确,但我仍然感到语法错误。

我觉得自己缺少一些重要的东西,希望有人可以帮助我。

提前致谢!

编辑:

我试图删除Lambda规则和测试文件中的IDENT,现在它似乎可以通过该行运行,但是仍然会抛出
ERROR: syntax error at symbol "" on line 1
在EOF之后。

最佳答案

您的扫描仪可以识别关键字(并打印出调试行,但请参见下文),但不会麻烦向解析器报告任何内容。因此,它们实际上被忽略了。

在野牛定义文件中,您使用(例如)“fun”作为终端,但没有为终端提供可以在扫描仪中使用的名称。扫描程序需要此名称,因为它必须向解析器返回令牌ID。

总而言之,您需要的是这样的:

在语法中,在%%之前:

token T_FUN "fun"
token T_IF "if"
token T_THEN "then"
 /* Etc. */

在您的扫描仪定义中:
fun { return T_FUN; }
if  { return T_IF; }
then { return T_THEN; }
 /* Etc. */

其他一些注意事项:
  • 您用于识别运算符的扫描仪规则也无法返回任何内容,因此运算符也将被忽略。这显然是不可取的。 flex和bison为单字符运算符提供了一种更简单的解决方案,即让字符成为其自己的令牌id。这样避免了创建令牌名称的麻烦。在解析器中,单引号字符表示令牌id,其值是该字符;这与双引号字符串完全不同,双引号字符串是声明的令牌名称的别名。因此,您可以这样做:
    "=" { return '='; }
     /* Etc. */
    

    但是一次完成所有单字符令牌会更容易:
    [;+*.<=()-]  { return yytext[0]; }
    

    甚至更容易使用默认规则:
    . { return yytext[0]; }
    

    通过向解析器返回未知的令牌ID,将具有处理无法识别的字符的效果,这将导致语法错误。

    这不适用于“->”,因为它不是单个字符标记,必须以与关键字相同的方式进行处理。
  • 如果在创建扫描程序时使用-d标志,则Flex将自动生成调试输出。这比插入您自己的调试打印输出要容易得多,因为您可以通过简单地删除-d选项将其关闭。 (如果不想更改makefile中的flex调用,可以改用%option debug。)这样做也更好,因为它提供了一致的信息,包括位置信息。
  • 一些小问题:
  • 模式[0-9][0-9]*可以更容易地写成[0-9]+
  • 由于"//".*总是匹配最长的非换行字符序列,因此注释模式$不需要在末尾提前.*。因此,第一个不匹配的字符必须是换行符或EOF。如果该模式以EOF终止,则$预行将不匹配,如果文件以注释结尾且末尾没有换行符,则将导致奇怪的错误。
  • 由于注释模式与终止注释的换行符不匹配,因此没有必要使用{COMM}*,因此不可能有两个连续的注释匹配。但是无论如何,在匹配注释和以下换行符之后,flex将继续匹配以下注释,因此{COMM}就足够了。 (就我个人而言,我不会使用COMM的缩写;它确实不会增加可读性,恕我直言。)
  • 07-28 01:02
    查看更多