[系列][编译原理]上下文无关文法及分析

上下文无关语言的形式特性

　　上下文无关文法由以下各项组成

　　　　1. 终结符集合T.

　　　　2. 非终结符集合N.

　　　　3. 产生式A-a的集合P，其中A是N的一个元素，a是（T U N）* 中的一个元素.

　　　　4. 来自集合N的开始符号.

　　在计算机科学中，若一个形式文法G=(T,N,P,S)，则称之为上下文无关的。 

上下文无关文法规则的说明

　　bnf ebnf

文法的二义性

　　产生原因

　　　　分析树和语法树唯一的表达着语法结构，这与表达最左和最右推导一样，但并不是对于所有推导都可以。

　　优先权和结合性

　　　　

　　悬挂else问题

　　　　

　　其他