纠正 lex 和 yacc 中的一些简单逻辑错误

Question

请帮助我解决我在示例中遇到的两个简单的逻辑错误。

以下是详细信息：

输入文件：(input.txt)

---

名字：James
姓氏：史密斯
普通文本

---

输出文件：(output.txt) - [有两个逻辑错误]

---

名称是：James
姓名是：姓氏：Smith
名称是：普通文本

---

我期望的输出（而不是上面的行）-[没有逻辑错误]

---

名称是：James
名字是：史密斯
普通文本

---

换句话说，我不希望将姓氏发送到输出，并且如果普通文本写在“名字：”或“姓氏：”之后，我也希望匹配普通文本。

这是我的 lex 文件 (example.l)：

%{
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <ctype.h>
#include "y.tab.h"

/* prototypes */ 
void yyerror(const char*); 

/* Variables: */
char *tempString;

%}

%START sBody

%%

"FirstName:"                {        BEGIN sBody;        }
"LastName:"                 {        BEGIN sBody;        }

.?                          {        return sNormalText; } 

\n                        /* Ignore end of line */;
[ \t]+                   /* Ignore whitespace */;

<sBody>.+   {
                tempString = (char *)calloc(strlen(yytext)+1, sizeof(char));
                strcpy(tempString, yytext);
                yylval.sValue = tempString;
                return sText;
             }
%%

int main(int argc, char *argv[]) 
{
    if ( argc < 3 )
    {
        printf("Please you need two args: inputFileName and outputFileName");
    }

    else 
    {
        yyin = fopen(argv[1], "r");
        yyout = fopen(argv[2], "w");
        yyparse();
        fclose(yyin);
        fclose(yyout);
    }
    return 0;
} 

这是我的 yacc 文件： (example.y)：

%{
    #include <stdio.h>
    #include <stdlib.h>
    #include <string.h>
    #include <ctype.h>
    #include "y.tab.h"

    void yyerror(const char*); 
    int yywrap(); 

    extern FILE *yyout;

    %}

    %union 
    { 
        int iValue;     
        char* sValue;       
    }; 

    %token <sValue> sText
    %token <sValue> sNormalText

    %%

    StartName: /* for empty */
              | sName StartName
          ;

    sName:
         sText  
         { 
                fprintf(yyout, "The Name is: %s\n", $1);
         }
         |
         sNormalText
         {
               fprintf(yyout, "%s\n", $1);
         }
         ;    
    %%

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

    int yywrap()
    {
        return 1;
    } 

如果您能帮助我纠正这些简单的逻辑错误，我将不胜感激。

预先感谢您的帮助和阅读我的帖子。

Answer 1

部分问题是你进入状态“sBody”，但你永远不会回到初始状态 0。

另一个问题 - 还不是一个主要问题 - 是你使用右递归语法规则而不是（对于 Yacc 来说是自然的） ) 左递归规则：

StartName: /* empty */
      |    sName StartName
      ;

vs

StartName: /* empty */
      |    StartName sName
      ;

将 BEGIN 0; 添加到 Lex 规则改进了很多；剩下的麻烦是，对于普通文本中的每个字母，输出文件中都会多一行“Smith”。您需要检查如何将值返回到语法中。

通过在返回 sNormalText 的规则中的 return 之前添加 yylval.sValue = yytext;，我得到了“预期”输出。

example.l

%{
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "y.tab.h"

/* prototypes */
void yyerror(const char*);

/* Variables: */
char *tempString;

%}

%START sBody

%%

"FirstName:"                { puts("FN");      BEGIN sBody;        }
"LastName:"                 { puts("LN");      BEGIN sBody;        }

.?                          { printf("NT: %s\n", yytext); yylval.sValue = yytext; return sNormalText; }

\n                        /* Ignore end of line */;
[ \t]+                   /* Ignore whitespace */;

<sBody>.+   {
                tempString = (char *)calloc(strlen(yytext)+1, sizeof(char));
                strcpy(tempString, yytext);
                yylval.sValue = tempString;
                puts("SB");
                BEGIN 0;
                return sText;
             }

%%

int main(int argc, char *argv[])
{
    if ( argc < 3 )
    {
        printf("Please you need two args: inputFileName and outputFileName");
    }
    else
    {
        yyin = fopen(argv[1], "r");
        if (yyin == 0)
        {
            fprintf(stderr, "failed to open %s for reading\n", argv[1]);
            exit(1);
        }
        yyout = fopen(argv[2], "w");
        if (yyout == 0)
        {
            fprintf(stderr, "failed to open %s for writing\n", argv[2]);
            exit(1);
        }
        yyparse();
        fclose(yyin);
        fclose(yyout);
    }
    return 0;
}

example.y

%{
#include <stdio.h>
#include "y.tab.h"

void yyerror(const char*);
int yywrap();

extern FILE *yyout;

%}

%union
{
    char* sValue;
};

%token <sValue> sText
%token <sValue> sNormalText

%%

StartName: /* for empty */
          | StartName sName
      ;

sName:
     sText
     {
            fprintf(yyout, "The Name is: %s\n", $1);
     }
     |
     sNormalText
     {
           fprintf(yyout, "The Text is: %s\n", $1);
     }
     ;
%%

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

int yywrap()
{
    return 1;
}

output.txt

The Name is: James
The Name is: Smith
The Text is: n
The Text is: o
The Text is: r
The Text is: m
The Text is: a
The Text is: l
The Text is:  
The Text is: t
The Text is: e
The Text is: x
The Text is: t

将 yywrap() 与词法分析器一起放入而不是与语法一起放入可能更有意义。我在代码中留下了简洁的调试打印 - 它们帮助我了解出了什么问题。

FN
SB
LN
SB
NT: n
NT: o
NT: r
NT: m
NT: a
NT: l
NT:  
NT: t
NT: e
NT: x
NT: t

您需要使用“.?”规则才能完整返回正常文本。您可能还需要在文件中移动它 - 启动状态是稍微特殊的生物。当我将规则更改为“.+”时，Flex 向我发出警告：

example.l:25: warning, rule cannot be matched
example.l:27: warning, rule cannot be matched

这些行引用了空白/制表符和 sBody 规则。在 sBody 规则之后移动不合格的“.+”删除了警告，但似乎没有达到预期的效果。玩得开心...