弯曲和野牛如何确定句子是否是语法的一部分

Question

我是使用Flex和Bison的新手，我已经实现了一个简单的计算器。我试图确定输入是否是语法中的句子。

例如，如果我输入：a = 2;b = 3;打印A B;

它将返回：" a = 2; b = 3;打印a b;是句子"

现在，它实际上将执行计算器，但我不在乎实际的计算，我只想知道输入是否是语法中的句子。

我不确定该怎么做。任何帮助或提示将不胜感激。

我的flex代码是：

   %{
       #include "y.tab.h"
       #include <stdlib.h>
       void yyerror(char *);
   %}
   %%
   [a-z]       {
                   yylval = *yytext - 'a';
                   return VARIABLE;
               }
   [0-9]+      {
                   yylval = atoi(yytext);
                   return INTEGER;
               }
   [-()+=/^*;]     { return *yytext; }
   "print"         return PRINT;
   [ t]   ;       /* skip whitespace */
   .               yyerror("invalid characters.");
   %%
   int yywrap(void) {
       return 1;
   }

我的野牛代码是：

   %{
       #include <stdio.h>
       #include <math.h>
       void yyerror(char *);
       int yylex(void);
       char *in;
       int sym[26];
   %}
   %token INTEGER VARIABLE PRINT
   %left '+' '-'
   %left '*' '/'
   %right '^'
   %%
   program:
          program statement              { }      
          | /* NULL */                   { }
          ;
   statement:
          ';'                            { $$ = ';'; }
          | expression ';'               { $$ = $1; }
          | VARIABLE '=' expression ';'  { sym[$1] = $3; }
          | PRINT expression ';'         { printf("%dn", $2); }
          ;
   expression:
           INTEGER
           | VARIABLE                      { $$ = sym[$1]; }   
           | expression '+' expression     { $$ = $1 + $3; }
           | expression '-' expression     { $$ = $1 - $3; }
           | expression '*' expression     { $$ = $1 * $3; }
           | expression '/' expression     { $$ = $1 / $3; }
           | expression '^' expression     { $$ = pow($1,$3); }
           | '(' expression ')'            { $$ = $2; }
           | '-' expression                { $$ = -$2; }
           ;
   %%
  void yyerror(char *s) {
       fprintf(stderr, "%sn", s);
  }
  int main(void) {
       while (1) {
           yyparse();
       }
   }

Answer 1

如果（整个）输入与语法匹配，则由野牛生成的yyparse函数返回0，如果有语法错误，则返回1。（它也可以返回2，以表明它用尽了记忆力试图解析语法，但是除非您使用YACC兼容模式，否则这是很少见的。）

因此，如果您只想检查正确性，请从野牛制作中删除所有动作；然后，您可以解析输入并检查Yyparse的返回代码。