欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
在计算机科学里面，Lex是一个产生词法分析器（lexical analyzer，"扫描仪"（scanners）或者"lexers"）的程序。
Lex常常与yacc 语法分析器产生程序（parser generator）一起使用。
请参考：GNU Flex
