西安电子科技大学《编译原理》.ppt

第二章词法分析2.1词法分析中的若干问题

2.1.1记号、模式与单词2.1.1记号、模式与单词（续1）2.1.2记号的属性2.1.3词法分析器的作用与工作方式2.2模式的形式化描述

2.2.1字符串与语言字符串的基本概念（表2.2）2.2.1字符串与语言（续1）字符串集合的运算（表2.3）2.2.1字符串与语言（续2）2.2.2正规式与正规集2正规式的等价2.2.2正规式与正规集（续1）3正规式等价的判定（证明）2.2.2正规式与正规集（续2）2.2.3记号的说明1简化正规式描述2.2.3记号的说明（续1）2.2.3记号的说明（续2）2.2.3记号的说明（续3）2.3记号的识别－有限自动机1直观的表示方式2.3.1不确定的有限自动机（续1）不确定的有限自动机（续2）不确定的有限自动机（续3）3NFA（识别记号）的特点不确定的有限自动机（续4）5NFA识别输入序列的一般方法确定的有限自动机（续5）2.3.2确定的有限自动机

（DeterministicFiniteAutomaton,DFA）2.3.2确定的有限自动机（续1）算法2.1模拟DFA2.3.2确定的有限自动机（续2）2.3.3有限自动机的等价*词法分析： x:=y+z*60.0; id1:=id2+id3*60.0;词法的双重含义：1规定单词形成的规则，也被称为构词规则或词法规则。它的作用相当于立法，规定什么样的输入序列是语言所允许的合法单词。2根据构词规则识别输入序列，也被称为词法分析。它的作用相当于执法，根据规则识别出合法的单词和指出非法的输入序列。本章主要内容：1与词法分析有关的基本概念和相关问题2模式的形式化描述－正规式3记号的识别－有限自动机（NFA，DFA）4词法分析器的构造－从正规式到DFA5上机作业－第一部分：函数绘图语言的词法分析器单词的基本分类：关键字（保留字） kw(keyword)标识符 id(identifier)字面量 literal特殊符号 ks(keysymbol,orspecialsymbol)例2.1语句 position:=initial+rate*60 id ksidksidksnumber注意：称识别出id而不是rate或initial问题：根据什么识别这些词法的基本单位（词法元素）？三个术语：模式（patten）：产生和识别元素的规则记号（token）：按照某个模式（或规则）识别出的元素（一组）单词（lexeme）：被识别出的元素自身的值（一个），也称为词值记号的类别 单词举例 模式的非形式化描述const(01) const constif(03) if ifrelation(81),=,=,,,= 或=或=id(82) pi,count,D2 字母打头的字母数字串num(83) 3.1416,0,6.02E23任何数值常数literal(84) “coredumped” 双引号之间的任意字符串Comment {xisaninteger}括号之间的任意字符串返回记号是按照某个模式识别出的元素。再考察赋值句position:=initial+rate*60position、initial和rate均为标识符，即它们的种类均是id。问题：当识别出一个id时，如何判定是哪个id？ 同样，当识别出一个relations时，究竟是=还是？ 记号＝记号的类别＋记号的属性例2.2表达式 mycount25由三个记号组成类别属性828183“mycount”525记号的类别 单词举例 记号的非形式化描述if(03) if ifrelation(81),=,=,,,=或=或=id(82) pi,count,D2 字母打头的字母数字串注意：15与25的区