[第4章语法分析-1.pptVIP

第一章：编译概述 编 译 原 理 杭州电子科技大学 第 4 章 语法分析 语法分析器概述 自顶向下分析（预测分析器） 自底向上分析 算符优先分析法 LR 分析器 4.1 语法分析器概述 语法分析的任务： 4.1 语法分析器概述 4.1 语法分析器概述 4.1 语法分析器概述 自顶向下分析： 4.1 语法分析器概述 4.1 语法分析器概述 自底向上分析： 4.1 语法分析器概述 4.2 自顶向下分析 不确定的自顶向下分析： 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 确定的自顶向下分析： 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 FIRST集： 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 FOLLOW集： 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 SELECT集： 4.2 自顶向下分析 4.2 自顶向下分析 LL（1）文法： 4.2 自顶向下分析 4.2 自顶向下分析 非 LL（1）文法到 LL（1）文法的等价转换 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 例： type ? simple | ? id | array [simple] of type simple ? integer | char | num dotdot num 4.2 自顶向下分析 procedure match (t : token); begin if lookahead = t then lookahead := nexttoken( ) else error ( ) end; procedure type ; begin if lookahead in {integer, char, num} then simple ( ) else if lookahead = ??? then begin match (???); match (id) end else if lookahead = array then begin match (array); match ( ? [ ? ); simple ( ); match ( ? ] ? ); match (of ); type ( ) end else error( ) end; procedure simple ; begin if lookahead = integer then match (integer) else if lookahead = char then match (char) else if lookahead = num then begin match (num); match (dotdot); match (num) end else error( ) end; 4.2 自顶向下分析 例： type ? simple | ? id | array [simple] of type simple ? integer | char | num dotdot num type ? simple | ? id | array [simple] of type simple ? integer | char | num dotdot num 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 消除左递归 文法可能含有形如 A →Aα | β 的产生式或 A Aα的推导，称为左递归文法 左递归文法不是 LL（1）文法， 如： S →Sa S →b