词法分析部分总结.pptVIP

词法分析部分总结 田 聪 构造词法分析器的一般方法和步骤 描述：用正规式对模式进行描述； 构造NFA：为每个正规式构造一个NFA； 确定化：将NFA转换成等价的DFA； 最小化：优化DFA，使其状态数最少； 构造词法分析器：由DFA构造词法分析器（表驱动，直接编码，LEX）。 涉及到的形式化概念 正则表达式（正规式） NFA DFA 正则语言 正则语言 正则语言 正则表达式 有限状态自动机 上下文无关语言 上下文无关文法 非确定的下推自动机 上下文有关语言 上下文有关文法 线性有界自动机（特殊的图灵机） 递归可枚举语言 短语结构 图灵机 Algebraic Laws for RE’s Union and concatenation behave like addition and multiplication. + is commutative (可交换的) and associative (可结合的) a+b=b+a, a+b+c= a+(b+c) concatenation is associative (可结合的) a.b.c=a.(b.c) Concatenation distributes over +(可分配的) a.(b+c)=a.b+a.c Exception: Concatenation is not commutative (可交换的) a.b ≠b.