编译原理-语法分析的基本概念

什么是语法分析？

根据上下文无关文法识别各种语法成分

什么是文法？文法与语法有什么区别？上下文无关文法？什么是上下文无关？

什么是上下文无关：V->w，字符 V 总可以被字串 w 自由替换，而无需考虑字符 V 出现的上下文。

BNF（巴克斯-诺尔范式）经常用来表达上下文无关文法。

BNF只是文法表示的一种方法，EBNF是扩展的BNF，可以消除左递归。

语法可以理解为P：产生式集合的产生式形式，如A->b;

什么是自上而下分析法？

 

什么是左递归？

形如这样的文法 U->Uy

 左递归有什么危害？

会造成死循环

比如：

用EBNF来消除左递归： 

 

 例子：

四则运算文法：

E：Expiration

T：Term

i : int型的数字

什么是LL(1)文法？与BNF的关系是什么？

对文法G的句子进行确定的自顶向下语法分析的充分必要条件是，G的任意两个具有相同左部的

产生式A—>α|β 满足下列条件：

（1）如果α、β均不能推导出ε，则 FIRST(α) ∩ FIRST(β) = ∅。

（2）α 和 β 至多有一个能推导出 ε。

（3）如果 β *═> ε，则 FIRST(α) ∩ FOLLOW(A) = ∅。

将满足上述条件的文法称为LL(1)文法。

概要

第一个L代表从左向右扫描输入符号串，第二个L代表产生最左推导，1代表在分析过程中执行每一步推导都要向前查看一个输入符号——当前正在处理的输入符号。

LL(1)文法既不是二义性的，也不含左递归，对LL(1)文法的所有句子均可进行确定的自顶向下语法分析。

LL(1)语法分析器 ：语法分析中的自上而下LL(1)分析法，需要构造求出一个文法的FIRST和FOLLOW集，然后构造分析表，利用分析表+一个栈来做自上而下的语法分析（递归下降/预测分析）

语法规范：BNF与ABNF 巴斯克范式

LL（1）语法分析器C++实现 

 参考：https://wenku.baidu.com/view/a22cc5ecf8c75fbfc77db236.html