原文在：https://blog.csdn.net/hczhiyue/article/details/20483209

文章中给的一个定义很明白，对于初学者来说很有帮助：

什么是 FLEX？它是一个自动化工具，可以按照定义好的规则自动生成一个 C 函数 yylex()，也成为扫描器（Scanner）。这个 C 函数把文本串作为输入，按照定义好的规则分析文本串中的字符，找到符合规则的一些字符序列后，就执行在规则中定义好的动作（Action）。

Flex 文件就是一个文本文件，内容包括定义好的一系列词法规则。文件的命名习惯上以小写字母 l(L) 来作为文件后缀。如果为了清晰，也可以用. flx 或者. flex 作为文件的后缀名。

有几个很重要的地方，之前自己在做的时候没有注意过，特别是关于语言的格式（缩进等）：

1. 如果在 Flex 文件中没有提供 main() 函数的定义，那么这个 C 文件中不会有 main() 函数。此时单独编译这个 C 文件的时候，一定要加上 - lfl 的连接库参数；若提供了 main() 函数，就不必要提供这个连接库参数了。连接库 libfl 提供了一个缺省的 main 函数。缺省的 main() 函数中只是简单地调用 yyflex() 函数，而自己提供的 main() 函数则可以根据需要加入许多其他的处理代码。
2. 规则由模式 (pattern) 和动作 (action) 两个部分组成。模式就是一个正则表达式，FLEX 加入了一些自己的扩展。而动作一般就是一些 C 语句。模式指出了一个单词是如何构成的，当分析出一个符合该规则的单词时，就执行相应的动作。
   模式一定要位于一行的开头处，不能有缩进。而动作的开头一定要与模式在同一行。当动作是用一对花括号 {} 括起来时，可以将左花括号放在与规则相同的行，而其余部分则可以从下一行开始。
3. 所有用户代码都被原样拷贝到文件 lex.yy.c 中。
4. 在定义段或者规则段中，任何一行有缩进的文本或者包含在一对 %{和 %} 之间（在书写时 %{和 %} 都必须在一行的开始处，不能缩进。）的文本，都被原样拷贝到最后生成的 C 代码文件中（当然 %{和 %} 会被移走）。
5. 在规则段中，第一条规则之前的任何未缩进的文本或者在 %{和 %} 之间的文本，可以用来为扫描器声明一些本地变量和代码（由上一条可知，他们是会进入C代码文件中的）。一旦进入扫描器的代码，这些代码就会被执行。规则段内其他的缩进的文本或者 %{和 %} 之间的文本还是被原样拷贝输出，但是他们的含义是尚未有明确定义，很可能引起编译时（compile-time）错误
6. 在定义段中，没有缩进的注释也会被原样拷贝到最后生成的 C 代码文件中，例如以 /* 开始的一行注释，直到遇到 */，这中间的文本会被原样拷贝输出。

除此之外，当初我在学习时写了一个示例程序，用来帮助理解flex文件格式：

%{
#include
int nchar, nword, nline; /*声明部分，确定要包括的库文件，以及要声明的变量，这部分将来会直接翻译到c文件中*/
%}/*辅助定义部分，辅助定义部分可包含：正规式的辅助定义（内部使用、不与输入进行匹配）、入口定义、LEX选项等.*/
%option yylineno /*yylineno可以提供当前的行数信息，是Lex内置的变量之一*/
TYPEID [A-Z]+[_A-Za-z0-9]*
OBJECTID [a-z]+[_a-zA-Z0-9]*

STR_CONST \".*\"
INT_CONST [0-9]+

WHITE [ \t]+
LINE \n

%s MutiCom/*多重入口的声明，存放在辅助定义中，以关键字%start或%x开始，其后可以跟若干个被声明的入口，如：%start entry1 entry2 …（特点：与0入口不互斥）*/
%%
/*翻译规则部分
*注释不能顶格写*/
[ \t] /* 匹配到一个空格或Tab键，不反映 */
\n {nline++; } /* 匹配到一个换行符，行数加1 */
[^ \t\n]+ {
/* 匹配到一个不包括空格、Tab键和换行符的字，
字数加1，字符数加yyleng(字符长度) */
nchar+=yyleng;
nword++;
}

%%
/*用户自定义程序部分*/
int main()
{
printf("Press CTRL+d to quit.\nInput any text:\n");
yylex(); /* 调用词法分析器，直到输入结束 */
printf("nchar=%d, nword=%d, nline=%d\n", nchar, nword, nline);
return 0;
}

/* 函数yywrap是LEX提供的一个库函数
* 若生成可执行程序时没有链接LEX库，则必须手工定义
* 反之，生成可执行程序时必须如此：
* cc -o a.out lex.yy.c -ll # for LEX
* cc -o a.out lex.yy.c -lfl # for FLEX
* 其中-ll表示连接函数库libl.a(in UNIX)
*/
// int yywrap(){ return 1; }