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