[转载]Yacc基础

原文：https://www.ibm.com/developerworks/cn/linux/sdk/lex/index.html，摘录部分内容。

1. Yacc的定义

Yacc 代表 Yet Another Compiler Compiler。 Yacc 的 GNU 版叫做 Bison。它是一种工具，将任何一种编程语言的所有语法翻译成针对此种语言的 Yacc 语 法解析器。它用巴科斯范式(BNF, Backus Naur Form)来书写。按照惯例，Yacc 文件有 .y 后缀。

　　2.　Yacc与Flex的配合

到目前为止我们已经分别讨论了 Lex 和 Yacc。现在让我们来看一下他们是怎样结合使用的。

一个程序通常在每次返回一个标记时都要调用 yylex() 函数。只有在文件结束或者出现错误标记时才会终止。

一个由 Yacc 生成的解析器调用 yylex() 函数来获得标记。 yylex() 可以由 Lex 来生成或完全由自己来编写。 对于由 Lex 生成的 lexer 来说，要和 Yacc 结合使用，每当 Lex 中匹配一个模式时都必须返回一个标记。 因此 Lex 中匹配模式时的动作一般格式为：

1 2	{pattern} { /* do smthg*/   return TOKEN_NAME; }

于是 Yacc 就会获得返回的标记。当 Yacc 编译一个带有 _d 标记的 .y文件时，会生成一个头文件，它对每个标记都有 #define的定义。 如果 Lex 和 Yacc 一起使用的话，头文件必须在相应的 Lex 文件 .lex中的 C 声明段中包括。

让我们回到名字和年龄的文件解析例子中，看一看 Lex 和 Yacc 文件的代码。

Name.y - 语法文件

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23

%   typedef char* string;   #define YYSTYPE string   %}   %token NAME EQ AGE   %%   file : record file   | record   ;   record : NAME EQ AGE {   printf("%s is %s years old!!!\n", $1, $3); }   ;   %%   int main()   {   yyparse();   return 0;   }   int yyerror(char *msg)   {   printf("Error   encountered: %s \n", msg);   }

Name.lex - Lex 的解析器文件

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23

%{   #include "y.tab.h"      #include < stdio.h >   #include < string.h >   extern char* yylval;   %}   char [A-Za-z]   num [0-9]   eq [=]   name {char}+   age {num}+   %%   {name} { yylval = strdup(yytext);   return NAME; }   {eq} { return EQ; }   {age} { yylval = strdup(yytext);   return AGE; }   %%   int yywrap()   {   return 1;   }

作为一个参考，我们列出了 y.tab.h, Yacc 生成的头文件。

y.tab.h - Yacc 生成的头文件

 

1 2 3

# define NAME 257   # define EQ 258   # define AGE 259

转载于:https://www.cnblogs.com/jiading/p/10793732.html