lex程序由三部分组成：定义段、规则段和用户子例程序段
...定义段...
%%
...规则段...
%%
...用户子例程序段...
这些部分由以两个百分号组成的行分隔开。尽管某一部分可以为空，但前两部分是必须的，第三部分和前面的%%行可以忽略。
定义段包括文字块、定义、内部表声明、起始条件和转换。
以空白开头的行被逐字拷贝到C文件中，通常，这用于包含包围在/*和*/中的注释，一般前面有空白。
规则段包含模式行和C代码，以空白开始的行或者包围在%{和%}中的内容是C代码。以任何其他形式开始的行是模式行。
C代码被逐字拷贝到生成的C文件中。
当lex扫描程序运行时，它把输入与规则段的模式进行匹配。每次发现一个匹配（被匹配的输入称为标记（token））时就执行与那种模式相关的C代码。如果模式后面跟着|符号，则该模式将使用与文件中下一个模式相同的C代码。当输入字符不匹配模式时，词法分析程序的动作就好像它匹配上了代码ECHO的模式，ECHO将标记的拷贝写到输出。
用户子例程序段的内容被lex逐字拷贝到C文件，这一部分通常包括从规则中调用的例程。如果重新定义input()、unput()、output()、或者yywrap()，新的版本或者支持子程序，都可以放在这里。
大多数lex实现都需要有用的例程库，通过在UNIX系统的cc命令行的结尾（或其它系统的等价物上）给出-ll 标志来链入库。库的内容根据实现的不同有所改变，但它总是包含main()。
lex的所有版本都有最小的main()程序，它对于简短程序和测试都是很有用的。它非常简单，内容如下:
main(argc,argv)
int argc;
char **argv;
{
yylex();
return 0;
}
int yywrap()
{
return 1;
}只要是在扫描程序匹配标记时，标记的文本就被存储在以空字符终止的字符串yytext中，而它的长度存在yyleng中， yyleng()返回的值与strlen(yytext)返回的值是相同的。
由lex创建的扫描程序有入口点yylex()。调用yylex()启动或重新开始扫描。如果lex动作执行将数值传递给调用程序的return，那么yylex()的下次调用就从它停止的地方继续。
当词法分析程序遇到文件结尾时，它调用例程yywrap()来找出下一步要做什么，如果yywrap()返回0，则扫描程序就继续扫描，如果返回1，则扫描程序就返回报告文件结尾的零标记。
lex库中的yywrap()的标准版本总是返回1，但是可以用自己的值来替代它，如果yywrap()返回指示有更多输入的0，那么它首先需要调整指向新文件的yyin，可能需要使用fopen()。
原文地址：http://blog.csdn.net/fly_yr/article/details/42969381
