[原理] Lex Yacc规则格式

历史

• 在1975年之前，写出一个编译器是很麻烦的事情。 在1975年的时候，有两篇文章的发表，简化了编译器的编写。
  Lex - A Lexical Analyzer Generator.
  Yacc: Yet Another Compiler Compiler.
• Lex和YACC的具体实现细节可以在2006年的这本书中找到：
  Compilers, Principles, Techniques and Tools (2nd edition). Addison-Wesley, Reading, Massachusetts.

• WinFlex和WinBison是Flex和Bison的Windows版本。

  
  
   

  

  image.png

编译顺序

• Lex的输入：词法规则（.l文件）
• Lex的输出：词法分析器
• Yacc的输入：语法规则（.y文件）
• Yacc的输出：语法分析器
• 宿主程序使用词法分析器和语法分析器，产生分析结果。
  
   

  

  image.png

规则格式

 

Lex匹配规则

 

Yacc匹配规则

 

Lex文件格式

 

Lex预定义变量

Lex代码示例

 

ECHO

 

LineNo

 

变量名

 

字符统计

Yacc文法

Yacc的语法是BNF范式的变种。BNF文法可以用来表示上下文无关文法，大多数的编程语言都可以用BNF来表示。

 

文法

 

文法可以扩展的表达式

 

自底向上分析。默认放一个“.”在栈里面。shift操作：一个新的标识符入栈。reduce操作：使用文法进行规约。

Shift -Reduce冲突

例子中的第6步，E+E可以进行Reduce，但是也可以进行Shift。使用符号结合方向和优先级解决。

Reduce-Reduce冲突

 

id有两种Reduce结果：E或者T。

Yacc语法格式

 

语法格式

Yacc代码示例

• lex文件
  词法分析器输出的Token类型：VARIABLE，INTEGER，-，+，（，），=，/， ，a-z
• yacc文件
  词法标识：INTEGER，VARIABLE
  符号优先级与结合方式
  文法标识：program，statement，expr
  int sys[26]：a-z 26个变量的数值
• yytext
  词法分析器匹配到的字符串
• yylval
  yytext相关的数值，比如：在词法分析器匹配到数字的时候，设置yylval=atoi(yytext) ，在语法分析器，就可以通过$1，$2，来读取对应的yylval。
• 实际上，yacc内部有两个栈，一个是分析栈，一个是内容栈，分别用yytext和yylval来读取。
• Lex Yacc (一) 入门 这里说的更加详细一些。
  
   

  

  Lex文件
  
  
   

  

  Yacc文件

示例使用

 

几次输入输出

 

第1次输入