E->E + E

E->E * E

E->id

上面三个例子代表三个规则（依次为r1，r2，r3）。像E（表达式）这样出现在左边的结构叫非终结符，像id（标识符）这样的结构叫终结符（terminal，由lex返回的标记），它们只出现在右边。这段文法表示，一个表达式可以是两个表达式的和、乘积，或者是一个标识符。

巴克斯范式：

(1) <>内包含的内容为必选项；

(2) []内包含的内容含的内容为可选项；

(3) { } 内包含的为可重复0至无数次的项；

(4) | 表示在其左右两边任选一项，相当于"OR"的意思；

(5) ::= 是“被定义为”的意思；

(6) 双引号“”内的内容代表这些字符本身；而double _quote用来表示双引号。

3.2 Yacc语法规则

result: components { /*
      	action to be taken in C*/ };

也分为三个段：定义段、规则段和代码段，其中各个段由”%%“符号分隔。

定义段：可以是C代码，如包含头文件和函数声明（”% { ··· % }“中的内容），同时也可以定义Yacc的内部标志等。

规则段：用来表示语法规则，并在每识别一个语法规则后，根据规则后面”{ }“内的代码进行相应的处理操作。

代码段：包括C代码，它将被直接拷贝到生成的C文件中。同样代码段也包含一些Yacc函数和一些Lex传递给Yacc的变量。

3.4 Yacc示例文件

% {
/* calculator.y*/                              /*定义段*/
#include <stdio.h>
% }
% token NAME NUMBER
% left '+' '-'
% start statement
% %
statement : NAME '=' expression*/              /*规则段*/
| expression{printf("=%d\n", $1);}
;
expression:expression'+'NUMBER{$$ = $1 + $3;}
|          expression'-'NUMBER{$$ = $1 - $3;}
|          NUMBER{$$ = $1;}
;
% %
main()
{
do                                             /*代码段*/
{
yyparse();
}
while(!feof(yyin));
}

% {
/* calculator.l*/
#include "y.tab.h"
extern int yylval;
% }
% %
[0-9]+ {yylval=atoi(yytext);return NUMBER;}
[\t]; 
return 0;
return yytext[0];
% %

%{
#include "test.tab.h"
#include <stdio.h>
#include <string.h>
%}
 
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;
}

%{
#include <stdio.h> 
#include <stdlib.h>
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()
{
    extern FILE* yyin;
    if (!(yyin = fopen("test.txt", "r")))
    {
        perror("cannot open parsefile:");
        return -1;
    }   
    
    yyparse();
    fclose(yyin);
    return 0;
}
int yyerror(char *msg)
{
    printf("Error encountered: %s \n", msg);
}