Bison Flex 计算器和布尔解释器

Question

我正在做一个 bison/flex 解释器，需要比较数字（<,>），执行 aritmethics 基本操作，以及像 AND OR XOR NOT 这样的布尔值。

第一步是比较两个数字，代码对此很好。现在，我应用所需的更改来查找数字是否为素数，并且代码仅返回错误。

我尝试多次更改代码，但没有任何更改

有词法分析器的代码：

#include <stdlib.h> /* for atof() */
#include "test.tab.h"
%}

%%

[0-1]+  { yylval = atoi(yytext); return NUM; }
[false]   { yylval = 0; return FALSE; }
[true]   { yylval = 1; return TRUE; }
[and]   { yylval = atoi(yytext); return AND; }
[xor]   { yylval = atoi(yytext); return XOR; }
[not]   { yylval = atoi(yytext); return NOT; }




[ \t\n]+        /* whitespace */
.       return yytext[0];

这是 .y

%{
  #define YYSTYPE int

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

  int yylex(void);
  void yyerror(char*);
%}

%token NUM
%token BOOLEAN
%left '<' '>' '=' '!=' 'mod' 'div' AND NOT XOR TRUE FALSE

%%
program:       /* empty */
              | programa command
;

command:        ';'
              | expression ';'       //{ printf("%i\n", $1);}
;



expression:          NUM                     { $$ = $1; }

             | expression '<' expression          { $$ = $1 < $3;
                  if ($$==1)
                 printf("TRUE \n");
                  else {
                    printf("FALSE \n");
                  }
                }
             | izraz '>' izraz          { $$ = $1 > $3;
                  if ($$==1)
                 printf("TRUE \n");
                  else {
                    printf("FALSE \n");
                  }
                }
             | izraz '=' izraz          { $$ = $1 == $3;
                  if ($$==1)
                 printf("TRUE \n");
                  else {
                    printf("FALSE \n");
                  }
                }
             | izraz '!=' izraz         { $$ = $1 != $3;
                  if ($$==1)
                 printf("TRUE \n");
                  else {
                    printf("FALSE \n");
                  }
                }
;
%%
main() {
  yyparse();
}

void yyerror(char *s) {
  fprintf(stderr, "Error: %s\n", s);
}

该代码可以比较两个自然数，但现在只是返回错误，我现在真的迷路了

Answer 1

您的扫描器和解析器存在一些严重问题。

1. [false] 并不意味着您认为的那样。

   您似乎认为这意味着“匹配关键字 false”。该模式将是简单的false。

   [false] 的意思是“如果是 a、e、f、<代码>l或<代码>s”。 […] 是一个字符类，它定义了一组可能的字符。

   也许值得阅读正则表达式的介绍，但也一定要阅读 flex 文档，因为与其他正则表达式库有一些差异。

2. 您的大多数解析规则都引用 izraz，您似乎已在一个地方将其翻译为 表达式。我不知道这是否是一个复制错误，或者您的实际源文件是否是这样的。

3. '!=' 不是有效的单字符标记，您的扫描仪无法识别该两字符标记。

除此之外，由于您没有提供您遇到的实际问题的任何描述，因此提供解决方案并不容易。修复明显的问题，如果仍然有问题，请创建一个包含完整详细信息的新问题：可编译的程序、示例输入以及结果与您期望的差异的描述。