《讲词法分析I》PPT课件

《《讲词法分析I》PPT课件》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、编译原理和技术本讲纲要词法分析概念词法记号的描述词法分析器语法分析器语义分析器源程序中间代码生成器代码优化器代码生成器目标程序出错管理器符号表管理器第二章词法分析本章内容词法分析器：把构成源程序的字符流翻译成记号流，还完成和用户接口的一些任务介绍正规式、状态转换图和有限自动机概念Lex与词法分析器的自动生成词法分析器语法分析器符号表记号取下一个记号源程序词法分析：编译第一步看一个中文的句子你们是优秀的大工学子代词动词形容词名词（短语）通过分词操作，我们会把句子以单词或者词组为单位进行划分，得到一个句型。词法分析：编译第一步C语言的语句例子L1:x=IDCOLONIDASSGN

2、y2+12;IDPLUSINTSEMI-COL编译的词法分析做的工作类似于分词，把原始的字符串流形式的程序文本转换为词法记号流的形式词法单元、词法记号词法单元又称单词，是编程语言中合法的字符串L1:x=IDCOLONIDASSGNy2+12;IDPLUSINTSEMI-COL例子中哪些是词法单元？词法单元、词法记号词法单元又称单词，是编程语言中合法的字符串词法记号满足某种规则的词法单元，采用同一种记法——词法记号。L1:x=IDCOLONIDASSGNy2+12;IDPLUSINTSEMI-COL例子中哪些是词法记号？词法单元与词法记号满足一个给定规则的词法单元，被记为一个词

3、法记号词法单元词法记号模式词法模式C语言的标识符?x2,12,_12,_abc哪些是合法的C标识符？C语言标识符的规则（模式）：首字符必须是_或者字母，由_、字母或数字组成的字符串词法模式词法记号词法单元例举模式的非形式描述STRUCTstructstructFORforforRELOP<,<=,=,…<或<=或=或…IDsum,_12,_x_或字母开头的由_、字母和数字组成的串NUM3.1,10,2.8E12任何数值常数LITERAL“seg.error”引号“和”之间的任意字符串，但引号本身除外常见记号及模式的例子：简单的一对一模式相对复杂一点的模式词法记号的属性词法分析

4、器语法分析器符号表记号取下一个记号源程序存在的意义？词法记号的属性如果简单地把词法记号流传给语法分析器，会产生什么后果？语义被完全摒弃，只剩下一个语法结构我是学生PronounVerbNoun翻译官说了什么呀？？？？词法记号的属性每个词法记号具有一定的含义（属性）L1:x=IDCOLONIDASSGNy2+12;IDPLUSINTSEMI-COL第一个ID，名称是L1,表示的是标号（Label）第二个ID，名称是x,表示的是一个变量，类型是int第三个ID，名称是y2,表示的是一个变量，类型是int课后练习prog1:编写一个程序，用于统计文件中单词的总数，不同单词的数目。e

5、g:IloveDalianandIloveDLUT单词总数：7不同单词数目：5交作业方式：viaEmailDuedate:2008.11.8,中午12点本讲纲要词法分析概念词法记号的描述词法记号的描述与识别词法模式的表示方法，是词法记号描述的核心下面是用于描述词法记号的模式语言词法单元记号模式2.2词法记号的描述与识别2.2.1串和语言字母表：符号的有限集合，例：={0,1}串：符号的有穷序列，例：0110,语言：字母表上的一个串集{,0,00,000,…},{},字母组合串语言集合集合字母表长度为0的空串2.2词法记号的描述与识别2.2.1串和语言串的运算连接xy

6、，s=s=s积（指数）s0为，si为si-1s（i>0）2.2词法记号的描述与识别语言的运算和：L∪M={s

7、sL或sM}连接：LM={st

8、sL且tM}指数：L0是{}，Li是Li-1L闭包：L=L0∪L1∪L2∪…正闭包：L+=L1∪L2∪…例2.2（p14）L:{A,B,…,Z,a,b,…,z},D:{0,1,…,9}L∪D,LD,L6,L*,L(L∪D)*,D+2.2词法记号的描述与识别2.2.2正规式正规式：按照一组定义规则，由较简单的正规式构成的，每个正规式r表示一个语言L(r).定义规则说明L(r)是怎样以各种方式从r的子正规式所表示的语言组合

9、而成。正规式用来表示简单的语言，叫做正规集。正规式是用于说明词法单元如何对应到词法记号的模式。与非形式化的描述相比，正规式更具形式化，更加精确。2.2词法记号的描述与识别2.2.2正规式正规式定义的语言备注{}a{a}a(r)

10、(s)L(r)∪L(s)r和s是正规式(r)(s)L(r)L(s)r和s是正规式(r)*(L(r))*r是正规式(r)L(r)r是正规式运算符的优先级：*>连接运算>

11、2.2词法记号的描述与识别正规式的例子={a,b}a

12、b{a,b}(a

13、b)(a

14、b){aa,ab,b