复习：程序语言的语法描述 ■上下文无关文法的定义： 一个上下文无关文法G是一个四元式 G=(V,VN,S,P),其中 ▣V:终结符集合（非空） 口VN:非终结符集合（非空），且VOVN=② 口S:文法的开始符号，S∈VN 口P:产生式集合（有限），每个产生式形式为 P-→o,P∈VN,a∈(VTUVN)* 口开始符$至少必须在某个产生式的左部出现一次。 国防科技大学计算机系602教研室国防科技大学计算机系602教研室 复习：程序语言的语法描述 ◼ 上下文无关文法的定义： 一个上下文无关文法G是一个四元式 G=(VT，VN，S，P)，其中  VT：终结符集合(非空)  VN：非终结符集合(非空)，且VT  VN=  S：文法的开始符号，SVN  P：产生式集合(有限)，每个产生式形式为 P→， PVN，   (VT  VN) *  开始符S至少必须在某个产生式的左部出现一次