编译原理张晶版第三章词法.ppt

中国科大 第三章 词法分析 第三章 词法分析 第一节 正规文法和有限自动机 一、正规文法、正规集与正规式 一、正规文法、正规集与正规式 一、正规文法、正规集与正规式 一、正规文法、正规集与正规式 假设正规文法G是右线性的，每个产生式的右部只含一个终结符，从文法G的产生式获得相应正规式方程式的规则如下： （1）若有A→a，则有A=a；若有A→ε，则A= ε； （2）若有A→aA，则有A=a*A； （3）若有A→aB且B≠A，则有A=aB； （4）若有A→a1|a2|…|an|aA，则有 A=a*(a1|a2|…|an)； 二、有限自动机（Finite automation FA) 2、有限自动机模型 二、有限自动机（Finite automation -FA) 二、有限自动机（Finite automation FA) 二、有限自动机（Finite automation FA) 二、有限自动机（Finite automation FA) 例： DFA M=({0,1,2,3},{a,b},f,0,{3})--f:f(0,a)=1 f(0,b)=2 f(1,a)=3 f(1,b)=2-- f(2,a)=1 f(2,b)=3 f(3,a)=3 f(3,b)=3 二、有限自动机（Finite automatio