Lex和Yacc应用方法(二).再识Lex与Yacc.docVIP

Lex和Yacc应用方法(二).再识Lex与Yacc 草木瓜早在二十世记七十年代之前，编写编译器一直是一个非常费时的工作。但到了1975这 一年这一切却发生了重大转变，首先Stephen C. Johnson Lesk在贝尔实验室完成了 Yacc开发，为了配合yacc更好的协作, Mike Lesk和Eric Schmidt又完成了lex。从 而Lex和yacc成为计算机编译领域的重要理论，而这些工具也极大地简化了编写编译 器的工作。 后来Robert Corbett和Richard Stallman在此基础上又完成了bison。Jef Poskanzer, Vern Paxson 也对lex作了大量改进，称为flex。 本系列文章的地址：/liwei_cmg/category/207528.aspx 一、Lex理论 Lex使用正则表达式从输入代码中扫描和匹配字符串。每一个字符串会对应一个动作。 通常动作返回一个标记给后面的剖析器使用，代表被匹配的字符串。每一个正则表达 式代表一个有限状态自动机(FSA)。我们可以用状态和状态间的转换来代表一个(FSA)。 其中包括一个开始状态以及一个或多个结束状态或接受状态。 我们以上文《Lex和Yacc应用方法(一).初识Lex》第一个例子详细说明： exfirst.l %{ #include stdio.h %} %% [\n] ; A [0-9]+ printf(Int : %s\n,yytext); B [0-9]*\.[0-9]+ printf(Float : %s\n,yytext); C [a-zA-Z][a-zA-Z0-9]* printf(Var : %s\n,yytext); D [\+\-\*\/\%] printf(Op : %s\n,yytext); E . printf(Unknown : %c\n,yytext[0]); F %% 这里使用一相对简单的输入文件 file.txt i=1.344+39; bcd=4%9-333 我们假定， Lex 系统创建一动态列表：内容+规则+状态 Lex 状态：1 接受 2 结束 接受表示该元素可以做为模式匹配 结束表示该元素已完成模式匹配 读入“i” [查找元素]查找相邻且状态为1的元素，无元素， [匹配规则]D， [新增列表元素1并置数据](存在则覆盖)状态为1，规则为D，内容为i。 [操作顺序符] 1 读入“=” [查找元素]查找相邻且状态为1的元素，“i=”寻找匹配规则，无规则 [置上一元素]元素1状态为2 [匹配规则]F， [新增列表元素2并置数据](存在则覆盖)状态为1，规则为F，内容为= [操作顺序符] 2 读入“1”， [查找元素]查找相邻且状态为1的元素，“=1”寻找匹配规则，无规则 [置上一元素]元素2状态为2 [匹配规则]B, [新增列表元素3并置数据](存在则覆盖)状态为1，规则为B，内容为1 [操作顺序符] 3 读入“.” [查找元素]查找相邻且状态为1的元素，“1.”寻找匹配规则，无规则，但有潜在规则C [匹配规则]F, [新增列表元素4并置数据](存在则覆盖)状态为1，规则为F，内容为. [置上一元素]元素3状态为1 [操作顺序符] 4 读入“3” [查找元素]查找相邻且状态为1的元素，“1.3”寻找匹配规则，有规则 [置起始元素]状态为1，规则为C，内容为1.3 [操作顺序符] 3 组合元素的起始操作符 读入“4” [查找元素]查找相邻且状态为1的元素，“1.34”寻找匹配规则，有规则 [置起始元素]状态为1，规则为C，内容为1.34 [操作顺序符] 3 组合元素的起始操作符 读入“4” [查找元素]查找相邻且状态为1的元素，“1.344”寻找匹配规则，有规则 [置起始元素]状态为1，规则为C，内容为1.344 [操作顺序符] 3 组合元素的起始操作符 读入“+” [查找元素]查找相邻且状态为1