词法分析器是编译器中扫描源程序的部分，因而它还可以完成和用户接口的一些其他任务。其一是剥去源程序的注解和（由空格、制表或换行符等引起的）空白。其二是把来自编译器各个阶段的错误信息和源程序联系起来，例如，词法分析器记住当前处理的字符行的行号。 我认为词法分析器输入的就是源程序的字符串流？
词法记号（记号）是什么？由记号名与属性值组成的二元组。属性不是必须的。记号名是一类词法单元的抽象符号。
模式，其实匹配该记号名的具体一类字符串，比如说这个词法单元的几号是realtion，模式就是<、>、=或>=等.
词法单元，模式中的一个实例。
属性，其实就是词法单元在二元组当中的表示。告诉词法单元是这个记号名中模式的哪一个实例。
串是一个字母集合上的有穷序列。
语言就是一个串的集合，句子（字）则是这个集合里面的元素。这个集合能进行并、连接‘闭包与正闭包的运算。ε就是空串，空集也是一种语言。
正规式，其实就是定义在上述集合的元素之间的运算，这个运算返回的是一个集合（还是一个语言），这个集合叫正规集。
正规式定义就是给正规式加了个名字，而且可以用这个名字指代它。