语法3技术总结.ppt

* * * 内容提要: 上下文无关文法 算符优先分析法 递归下降分析法 语法分析的任务: 把单词符号作为基本单位,分析程序是否为 合法的程序. 第一节 上下文无关文法 上下文无关文法是这样一种文法: 它定义的语法单位,独立 于该语法单位可能出现的环境,不必考虑上下文关系. 自然语言不是上下文无关文法; 程序语言是上下文无关文法; 1. 上下文无关文法定义 上下文无关文法 G 是一个四元式: G =(VT,VN,S,P) VT : 是一个非空有限单词集,每个元素称为终结符号. VN: 是一个非空有限集,每个元素为非终结符号,代表了一 种语法单位. 且 VT ∩ VN=φ. 例如:表达式,短语,语句等 S: 是一个非终结符号,称为开始符号,S ∈ VN. S 是文法 G 的最高层次的语法单位. 在程序语言中, S代表了程序这一语法概念. P: 是一个非空有限集,每个元素称为一条产生式;一条产 生式定