《编译原理2词法1正规表达式与有限自动机简介.ppt

第 2 讲 西北农林科技大学本科教程 主讲教师：赵建邦 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 第二章《词法分析》前三节 2.1 词法分析器的设计方法 2.2 一个简单的词法分析器 2.3 正规表达式与有限自动机简介 重点掌握 状态转换图的概念 正规表达式的概念和运算 本讲目标 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 第二章 词法分析 2.1 词法分析器的设计方法 2.2 一个简单的词法分析器 2.3 正规表达式与有限自动机简介 2.4 正规表达式到有限自动机的构造 2.5 词法分析器的自动生成 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 回顾词法分析器： 定位 词法分析是编译的第一个阶段 任务 从左至右逐个字符地对源程序进行扫描，产生一个个单词（Token）符号 功能 输入源程序，输出单词符号（流） 不断访问、更新符号表 2.1 词法分析器的设计方法 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 词法分析器的处理结构（2种）： 第一种：词法分析器和语法分析器完全分开 词法分析器的输出（单词符号流）作为语法分析器的输入 将词法分析工作作为独立的一遍来完成，在这个过程中不断查询和完善符号表 2.1 词法分析器的设计方法 图2-1(a) 词法分析程序作为主程序 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 词法分析器的处理结构（2种）： 第二种：词法分析器作为语法分析器调用的子程序 每当语法分析器需要一个单词时便调用词法分析器 词法分析和语法分析交替进行 2.1 词法分析器的设计方法 图2-1 (b) 词法分析程序作为子程序 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2.1.1：单词符号的分类与输出形式 分类：单词符号是程序语言的基本语法单位，具有确定的语法意义。程序语言的单词符号通常可分为下面五种： 保留字：如C语言中的if、else、while和do等 几乎所有的程序语言都禁止用户使用保留字作为标识符 标识符：用户自己定义的常量名、变量名、方法名等 常数：布尔常数（true/false）和其它常数 运算符： “+”、“-?”、“?*?”、“/?”、“”、“”等 界符：在语言中是作为语法上的分界符号使用的，如“,”、“;”、“(”、“)”、“=”等 2.1 词法分析器的设计方法 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2.1.1：单词符号的分类与输出形式 输出形式：单词符号通常表示成如下的二元式： （单词种别，单词自身的值/内码值） 1、单词种别：即单词的种类。为了处理方便，通常让每种单词对应一个整数码，可以最大限度地将每个单词区别开来 保留字：可以统一视为一种，也可一字一种（后一种较常用） 标识符：统一归为一种 常数：可统一归为一种或按照整型、实型、布尔型等分为几种 运算符和界符可统一归为一种或采用一符一种 2.1 词法分析器的设计方法 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty