1

我正在为一种简单的编程语言设计一个词法和语法分析器。这是我的 flex .l 文件：

%{
#include <cstdio>
#include <stdio.h>
#include <iostream>
#include <stdlib.h>
using namespace std;
#define YY_DECL extern "C" int yylex()
#include "littleDuck.tab.h" 
int line_num = 1;
%}
id      [a-zA-Z][a-zA-Z0-9]*
cteI    [0-9]+
not     (<)(>)
cteF    {cteI}(\.{cteI}((e|E)("+"|"-")?{cteI})?)?
ctestring   (\".*\")

%%

[ \t]   ;
program {return PROGRAM;}
var     {return VAR;}
print   {return PRINT;}
"else"  {return ELSE;}
"if"    {return IF;}
{id}    {return ID;}
\=      {return '=';}
\<      {return '<';}
\>      {return '>';}
{not}   {return NOT;}
\+      {return '+';}
\-      {return '-';}
\/      {return '/';}
\*      {return '*';}
\:      {return ':';}
\,      {return ',';}
\;      {return ';';}
\{      {return '{';}
\}      {return '}';}
\(      {return '(';}
\)      {return ')';}
{cteI}  {yylval.ival = atoi(yytext); return INT;}
{cteF}  {yylval.fval = atof(yytext); return FLOAT;}
{ctestring} {yylval.sval = strdup(yytext); return STRING;}
\n      {++line_num;}
.       ;

%%

flex 正在正确编译该文件，尽管我不完全确定是否可以总结一些术语。编译我的野牛文件时，我的真正问题出现了。我通过输入以下内容从 Ubuntu 终端执行此操作：

gabriel@virtualbox:~/Lenguajes/flexBison$ bison -d littleDuck.y

它返回 22 个语法无用的非终结符和 41 个语法无用的规则。我的野牛文件是下一个：

%{
#include <cstdio>
#include <iostream>
using namespace std;

extern "C" int yylex();
extern "C" int yyparse();
extern "C" FILE *yyin;
extern int line_num;

void yyerror(const char *s);
%}

%union{
    int ival;
    float fval;
    char *sval;
}

%token ID NOT PROGRAM VAR PRINT IF ELSE

%token <ival> INT
%token <fval> FLOAT
%token <sval> STRING


%%
programa:
    PROGRAM ID ':' vars_1
    ;
vars_1:
    VAR
    ;
vars:
    VAR ID id_1
    ;
id_1:   
    ',' id_1
    | ':' tipo tipo_1
    ;
tipo:
    INT
    | FLOAT
    ;
tipo_1:
    /* empty */
    ID id_1
    ;
bloque:
    '{' e1
    ;
e1:
    estatuto e2
    | e2
    ;
e2:
    estatuto e2
    | '}'
    ;
estatuto:
    asignacion
    | condicion
    | escritura
    ;
asignacion:
    ID '=' expresion ';'
    ;
expresion:
    exp exp_1
    ;
exp:
    termino exp_2
    ;
exp_1:
    /* empty */
    | '>' exp
    | '<' exp
    |NOT exp
    ;
exp_2:
    '+' exp
    | '-' exp
    ;
escritura:
    PRINT '(' esc_1
    ;
esc_1:
    expresion esc_2
    | STRING esc_2
    ;
esc_2:
    ',' esc_1
    | ')' ';'
    ;
condicion:
    IF '(' expresion ')' bloque cond
    ;
cond:
    ';'
    | ELSE bloque ';'
    ;
termino:
    factor term
    ;
term:
    '*' termino
    | '/' termino
    ;
var_cte:
    ID
    | INT
    | FLOAT
    ;
factor:
    '(' expresion ')'
    | var_cte
    | '+' var_cte
    | '-' var_cte
    ;

%%
main() {
    FILE *myfile = fopen("testFile", "r");
    if (!myfile) {
        cout << "I can't open file" << endl;
        return -1;
    }
    yyin = myfile;

    do {
        yyparse();
    } while (!feof(yyin));

}

void yyerror(const char *s) {
    cout << "Yikes! Parse error on line " << line_num << "! Message: " << s << endl;
    exit(-1);
}

为什么会生成警告，我该如何摆脱它们？很抱歉发布完整的程序，但我认为所有信息都很重要，因为 flex 文件显示了正在生成的令牌，并且 bison 文件具有所有语法规则。

4

2 回答 2

1

您的语法本质上只是：

programa:
    PROGRAM ID ':' vars_1
    ;
vars_1:
    VAR
    ;

这意味着它将接受的唯一有效程序是

program id : var

whereid可能是任何有效的标识符。其他任何内容都将是语法错误。

所有其余的规则都是无法到达且无用的，因为无法从programa. 所以野牛告诉你，你不妨删除它们。

您可能想要的是添加一些其他规则programa或vars_1规则以导致其余规则，以便实际解析您想要的语言

于 2013-03-01T18:17:06.177 回答
-1

某些语法确实不正确或缺少符号。我重写了我的语法，它工作正常，只是指出有 3 个班次减少。我在接下来的标记中添加了左关联性：

%left '*' '/'
%left '+' '-'

此外，我没有为保留字“int”和“float”添加标记，只为 int 和 float 常量添加标记。这显然是一个大问题，因为我不能声明任何变量。我添加了它们并用 FLOATC 和 INTC 替换了常量的标记。这是在词汇文件和语法文件中添加的。

于 2013-03-01T15:48:20.583 回答