yacc

使用 yacc 和 lex 编写文本分析器

简介： 本文将研究使用 lex/flex 和 yacc/bison 工具构建分析器所需的步骤。首先构建一个简单的计算器，然后深入地研究如何采用相同的原则进行文本分析。分析文本，即理解和提取文本中的关键部分，是许多应用程序中一个重要的部分。在 UNIX? 中，许多操作系统组成部分都依赖于文本分析，从用来与系统进行交互的 shell，到诸如 awk or Perl 等各种常用的工具和命令，再到用来构建软件和应用程序的 C 编译器。您可以在 UNIX 应用程序（以及其他的应用程序）中使用分析器来构建简单的配置分析器，甚至构建最终的目标：您自己的编程语言。

开始之前

UNIX? 程序员常常发现他们需要去理解文本和其他一些具有灵活的标准化格式的结构。通过使用 lex 和 yacc 工具，您可以构建一个分析引擎，根据特定的规则来处理文本。然后，可以将它集成到您的应用程序中以完成各项工作，从配置分析到构建您自己的编程语言。在学习了本教程之后，您将了解如何定义词法元素、编写 yacc 规则，并使用相应的规则机制来构建和定义各种不同的分析引擎和应用程序。

关于本教程

在 UNIX 中，有许多用来理解和提取文本的方

《编译原理》课程

实验报告

题目 lex yacc 的联合使用 专业 班级 学号 姓名

一. 实验题目

lex yacc 的联合使用

二. 实验日期

三. 实验环境（操作系统，开发语言）

操作系统是Windows

开发语言是C语言

四. 实验内容（实验要求）

目的：熟悉lex和yacc的接口

要求：

（1）能对整数、实数进行带变量的四则运算

（2）词法分析用lex实现

（3）语法分析用yacc实现

（4）交源代码和实验报告

五. 实验步骤

1.在实验二的基础上修改代码，并添加上以下的代码：

double { return DOUBLE;}

EOF { return 0;}

{ID} { return ID;}

2.在DOS环境下按照之前的步骤利用flex运行myleb.l，修改其中的错误之后，生成lex.yy.c文件。

3.参照书中第14章第7节和myparser-fifth.y文件中的代码，和老师说的思路修改myparser-sixth.y文件，按照实验要求修改代码。

4.在DOS环境下利用yacc运行myparser-sixth.y文件，会有出错提示，按照出错的地方指示，修改代

编译原理实践 --语法分析程序的自动生成工具YACC

YACC简单的介绍 YACC(Yet Another CompilerCompiler) 是美国贝尔实验室开发的 语法分析程序自动生成器 输入是某个语言的语法规则，输出是 该语言的语法分析器。 目前YACC生 成的是一个LALR(1)分析器 常用版本：Berkeley大学的BYACC, GNU工程的BISON

YACC的使用流程YACC源程序Y_tab.c (宏定义文件) 字符串源程序

YACCC编译器 Y_tab.exe

Y_tab.c (宏定义文件) Y_tab.exe 分析结果

YACC的输入文件称为YACC源文件，以.y为扩展名，输出文 件有两个，一个是包含有语法分析函数yyparse()的C程序， 另一个是包含源文件中所有终结符编码的宏定义文件，扩展 名为.h。这两个文件经过C编译器的编译就生成一个语法分析 器，该语法分析器的输入是源程序经过词法分析的结果，输 出可以是一棵语法树，或者是所生成的目标代码，也可以是 关于输入串是否符合语法规则的信息。具体的输出形式可以 在YACC源程序中自己定义。

YACC和LEX有直接的接口，由于YACC与LEX 的特殊功能，这两个姐妹程序成为软

编译原理实践 --语法分析程序的自动生成工具YACC

YACC简单的介绍 YACC(Yet Another CompilerCompiler) 是美国贝尔实验室开发的 语法分析程序自动生成器 输入是某个语言的语法规则，输出是 该语言的语法分析器。 目前YACC生 成的是一个LALR(1)分析器 常用版本：Berkeley大学的BYACC, GNU工程的BISON

YACC的使用流程YACC源程序Y_tab.c (宏定义文件) 字符串源程序

YACCC编译器 Y_tab.exe

Y_tab.c (宏定义文件) Y_tab.exe 分析结果

YACC的输入文件称为YACC源文件，以.y为扩展名，输出文 件有两个，一个是包含有语法分析函数yyparse()的C程序， 另一个是包含源文件中所有终结符编码的宏定义文件，扩展 名为.h。这两个文件经过C编译器的编译就生成一个语法分析 器，该语法分析器的输入是源程序经过词法分析的结果，输 出可以是一棵语法树，或者是所生成的目标代码，也可以是 关于输入串是否符合语法规则的信息。具体的输出形式可以 在YACC源程序中自己定义。

YACC和LEX有直接的接口，由于YACC与LEX 的特殊功能，这两个姐妹程序成为软