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

什么是语法分析?

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

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

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

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

什么是上下文无关: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