文法转换、LL1文法

参考哈工大课件

自顶向下分析概述

从分析树的顶部（根节点）向底部（叶节点）方向构造分析树，是从文法开始符号S推导出词串w的过程
最左推导，总是选择每个句型的最左非终结符进行替换
最右推导，总是选择每个句型的最右非终结符进行替换
在自底向上的分析中，总是采用最左归约的方式，因此把最左归约称为规范归约，而最右推导相应地称为规范推导（左规约右推导）
自顶向下的语法分析采用最左推导方式
总是选择每个句型的最左非终结符进行替换
根据输入流中的下一个终结符，选择最左非终结符的一个候选式
自顶向下语法分析：可能需要回溯(backtracking)，导致效率较低

预测分析

预测分析是递归下降分析技术的一个特例，通过在输入中向前看固定个数（通常是一个）符号来选
择正确的A-产生式。
可以对某些文法构造出向前看k个输入符号的预测分析器，该类文法有时也称为LL(k) 文法类
预测分析不需要回溯，是一种确定的自顶向下分析方法

文法转换

同一非终结符的多个候选式存在共同前缀，将导致回溯现象
左递归文法会使递归下降分析器陷入无限循环
含有A→Aα形式产生式的文法称为是直接左递归的(immediate left recursive)
如果一个文法中有一个非终结符A，使得对某个串α存在一个推导A=>+Aα ，那么这个文法就是左递归的

消除直接左递归

消除直接左递归过程就是：把左递归转换成右递归，代价：引进了一些非终结符和ε_产生式
A→Aα | β(α≠ε,β不以A开头)【r=βα*，α是循环部分，β是终结部分】
=>>A→β A′、A′ →α A′｜ε
消除直接左递归的一般形式：
A → A α1 | A α2 | … | A αn | β1 | β2 | … | βm(αi ≠ ε, βj不