编译原理-语法分析

最新推荐文章于 2023-07-04 15:06:35 发布

yc_ZZ

最新推荐文章于 2023-07-04 15:06:35 发布

阅读量1.3k

点赞数 2

分类专栏：编译原理笔记文章标签：算法

本文链接：https://blog.csdn.net/YCCNUST/article/details/127290374

版权

编译原理笔记专栏收录该内容

4 篇文章 0 订阅

订阅专栏

语法分析

一、自上而下分析的基本问题
二、消除文法左递归

一、自上而下分析的基本问题

语法分析基本概念

任务：分析一个文法的句子结构
功能：按照文法的产生式，识别输入符号串是否为一个句子
一个上下文无关法G是一个四元式
G={ $V_{T}$ , $V_{N}$ , $S$ , $P$ }
$V_{T}$ :终结符集合（非空）
$V_{N}$ ：非终结符集合（非空）
$S$ ：文法开始符号
$P$ ：产生式集合
方法：
在这里插入图片描述

推导，推出

在这里插入图片描述

句子，句型和语言

其中句子也是句型，是仅含有终结符的句型
在这里插入图片描述

自上而下分析

从文法开始符号出发，向下推导，推出句子
在这里插入图片描述
回溯问题：分析过程中，当一个非终结符用某一个候选匹配成功时，这种匹配是暂时的，出错时，不得不“回溯”
文法左递归问题：

二、消除文法左递归

消除直接左递归

左递归变为右递归

右递归非终结符在最右边，左边a会不断产生终结符，左边终结符会跟当前输入串单词匹配，使得分析进程推进。故不会陷入死循环地步

左递归：
在这里插入图片描述
右递归：

在这里插入图片描述

例题：

间接左递归消除

把候选中开头的非终结符替换成它的定义，逐步减少定义圈中的点，最后变成自圈。
在这里插入图片描述

消除回溯

FIRST集合

令G是一个不含左递归的文法，对G所有非终结符的每个候选a定义它的终结首符集 FIRST( $\alpha$ )
集合First (X) 由从X可能推导出的所有终结符号串的※开头终结符※组成，此外可能还有ε
在这里插入图片描述

为了使一个非终结符候选尽可能不相交，提取左公共因子。
经过反复提取公因子，就能把每个非终结符的所有候选首符集变成两两不相交

构造FIRST集合
第一个到最后一个若有任何一个发生变化，都需要重新再次考察
在这里插入图片描述

FLLOW集合

假定S是文法G的开始符号，对于G的任何非终结符A，A的FOLLOW集合
指的是在某个句型里能够跟在非终结符后面的终结符构成的集合
在这里插入图片描述
构造FOLLOW集合

LL(1)文法

L:从左到右扫描字符串，L:最左推导，1：每一步向前查看一个符号
构造不带回溯的自上而下分析的文法条件
1、文法不含左递归
2、对于文法的每个非终结符A的各个产生式的候选首符集合两两不相交
3、对于文法中的每个非终结符A，若它存在某个候选首符集包含空字，FIRST(ai)交FOLLOW(A)=空集

在这里插入图片描述

例题

在这里插入图片描述

总结

1、FIRST集合先推，并且有（/*）直接写到该集合内，不能跳跃的递推，只能一步一步看
2、FOLLOW集合第一轮根据两个步骤，一个是后FIRST等于前FOLLOW，二一个在二元式子下是 FOLLOW等于尾部FOLLOW或者，三元式下是FOLLOW等于中间FOLLOW
****FOLLOW集合第二轮不用看FIRST，直接根据FOLLOW等于尾FOLLOW或者中间FOLLOW得答案