编译原理:词法分析

编译原理:词法分析


1.编译程序中词法分析的位置

请添加图片描述


2.词法分析器的设计方式

请添加图片描述

词法分析的过程:

  1. 读入源程序
  2. 识别单词,用转换图、自动机、正规式等方法判断出单词的类型
  3. 用记号方式表示识别出的单词(编码)
  4. 将标识符信息存入符号表

词法分析的主要任务:

  • 从左向右扫描源程序的字符,识别出各个单词,确定单词的类型。将识别出的单词转换成统一的机内表示,即词法单词(token)形式

请添加图片描述

请添加图片描述

词法分析器中的单词符号分类与输出形式:

请添加图片描述

请添加图片描述

请添加图片描述

请添加图片描述


3.词法分析器的结构

请添加图片描述

请添加图片描述

请添加图片描述

请添加图片描述

注意:➡指向的是初态,双⭕的是终态,→上的内容是输入的字符内容

请添加图片描述

请添加图片描述

请添加图片描述


4.正规表达式(RE)

请添加图片描述

请添加图片描述

例题:

请添加图片描述

请添加图片描述

请添加图片描述

请添加图片描述


4.1 正规式和正规集的概念

请添加图片描述请添加图片描述


4.2 正规式和正规集的递归定义

请添加图片描述

ε和Ø定义测试:

请添加图片描述

请添加图片描述


4.3 正规式的运算符和运算定律

请添加图片描述

请添加图片描述

例题:

请添加图片描述

请添加图片描述


4.4 正规式的等价性

请添加图片描述

例题:

请添加图片描述


5.有限自动机(FA)

5.1 确定有限自动机(DFA)

请添加图片描述

请添加图片描述

请添加图片描述

例题:

请添加图片描述

请添加图片描述


5.2 非确定有限自动机(NFA)

请添加图片描述

请添加图片描述

请添加图片描述

请添加图片描述

例题:

请添加图片描述

请添加图片描述

请添加图片描述


5.3 状态转换图与状态转换矩阵

请添加图片描述

请添加图片描述

请添加图片描述

请添加图片描述

请添加图片描述

请添加图片描述


6.正规表达式到有限自动机的构造

请添加图片描述


6.1 根据正则表达式(RE)构造非确定有限自动机(NFA)

请添加图片描述

请添加图片描述

请添加图片描述


6.2 非确定有限机(NFA)的确定化

请添加图片描述

请添加图片描述

请添加图片描述

请添加图片描述

请添加图片描述

请添加图片描述

请添加图片描述

请添加图片描述


6.3 确定有限机(DFA)的化简

请添加图片描述

请添加图片描述

请添加图片描述

请添加图片描述

请添加图片描述

例题:

请添加图片描述


7.词法分析器的自动生成

请添加图片描述

请添加图片描述

请添加图片描述