yacc 与 lex 快速入门

《yacc 与 lex 快速入门》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、Yacc与Lex快速入门Lex与Yacc介绍AshishBansal(mailto:abansal@ieee.org?subject=Yacc与Lex快速入门&cc=abansal@ieee.org),软件工程师,Sapient公司AshishBansal具有印度瓦腊纳西BanarasHindu大学技术学院的电子与通信工程学士学位。他目前是Sapient公司的软件工程师。他的Email是mailto:abansal@ieee.org?cc=abansal@ieee.org。简介： Lex和Yacc是UNI

2、X两个非常重要的、功能强大的工具。事实上，如果你熟练掌握Lex和Yacc的话，它们的强大功能使创建FORTRAN和C的编译器如同儿戏。AshishBansal为您详细的讨论了编写自己的语言和编译器所用到的这两种工具，包括常规表达式、声明、匹配模式、变量、Yacc语法和解析器代码。最后，他解释了怎样把Lex和Yacc结合起来。标记本文！Lex代表LexicalAnalyzar。Yacc代表YetAnotherCompilerCompiler。让我们从Lex开始吧。LexLex是一种生成扫描器的工具。扫描器是

3、一种识别文本中的词汇模式的程序。这些词汇模式（或者常规表达式）在一种特殊的句子结构中定义，这个我们一会儿就要讨论。一种匹配的常规表达式可能会包含相关的动作。这一动作可能还包括返回一个标记。当Lex接收到文件或文本形式的输入时，它试图将文本与常规表达式进行匹配。它一次读入一个输入字符，直到找到一个匹配的模式。如果能够找到一个匹配的模式，Lex就执行相关的动作（可能包括返回一个标记）。另一方面，如果没有可以匹配的常规表达式，将会停止进一步的处理，Lex将显示一个错误消息。Lex和C是强耦合的。一个.lex文件

4、（Lex文件具有.lex的扩展名）通过lex公用程序来传递，并生成C的输出文件。这些文件被编译为词法分析器的可执行版本。Lex的常规表达式常规表达式是一种使用元语言的模式描述。表达式由符号组成。符号一般是字符和数字，但是Lex中还有一些具有特殊含义的其他标记。下面两个表格定义了Lex中使用的一些标记并给出了几个典型的例子。用Lex定义常规表达式字符含义A-Z,0-9,a-z构成了部分模式的字符和数字。.匹配任意字符，除了。-用来指定范围。例如：A-Z指从A到Z之间的所有字符。[]一个字符集合。匹配括号

5、内的任意字符。如果第一个字符是^那么它表示否定模式。例如:[abC]匹配a,b,和C中的任何一个。*匹配0个或者多个上述的模式。+匹配1个或者多个上述模式。?匹配0个或1个上述模式。$作为模式的最后一个字符匹配一行的结尾。{}指出一个模式可能出现的次数。例如:A{1,3}表示A可能出现1次或3次。用来转义元字符。同样用来覆盖字符在此表中定义的特殊意义，只取字符的本意。^否定。

6、表达式间的逻辑或。"<一些符号>"字符的字面含义。元字符具有。/向前匹配。如果在匹配的模版中的“/”后跟有后续表达式，只匹配模版

7、中“/”前面的部分。如：如果输入A01，那么在模版A0/1中的A0是匹配的。()将一系列常规表达式分组。常规表达式举例常规表达式含义joke[rs]匹配jokes或joker。A{1,2}shis+匹配AAshis,Ashis,AAshi,Ashi。(A[b-e])+匹配在A出现位置后跟随的从b到e的所有字符中的0个或1个。Lex中的标记声明类似C中的变量名。每个标记都有一个相关的表达式。（下表中给出了标记和表达式的例子。）使用这个表中的例子，我们就可以编一个字数统计的程序了。我们的第一个任务就是说明如何

8、声明标记。标记声明举例标记相关表达式含义数字(number)([0-9])+1个或多个数字字符(chars)[A-Za-z]任意字符空格(blank)""一个空格字(word)(chars)+1个或多个chars变量(variable)(字符)+(数字)*(字符)*(数字)*Lex编程Lex编程可以分为三步：1.以Lex可以理解的格式指定模式相关的动作。2.在这一文件上运行Lex，生成扫描器的C代码。3.编译和链接C代码，生成可执行的扫描器。注意:如果扫描器是用Yacc开发的解析器的一部分，只需要进行第一

9、步和第二步。关于这一特殊问题的帮助请阅读Yacc和将Lex和Yacc结合起来部分。现在让我们来看一看Lex可以理解的程序格式。一个Lex程序分为三个段：第一段是C和Lex的全局声明，第二段包括模式（C代码），第三段是补充的C函数。例如,第三段中一般都有main()函数。这些段以%%来分界。那么，回到字数统计的Lex程序，让我们看一下程序不同段的构成。C和Lex的全局声明这一段中我们可以增加C变量声明。这里我们将为字数统计程序声