20-第五章语义分析讲解.ppt

第五章 语义分析 任课教师 王养廷 主要内容 语句体语义分析 程序实例分析 1 声明语义分析 Pascal程序 程序头 声明部分 语句部分 声明部分 语句体部分 1 声明语义分析（续） Pascal程序文法定义（声明部分） Program→program id(input, output);Block. Block →DecPart Body DecPart →LabelDecPart ConsDecPart TypeDecPart VarDecPart RoutDecPart Body → begin StatementList end ConstDecPart → const id=C;...; id=C;|λ TypeDecPart → type id=T;...; id=T;|λ VarDecPart → var VarList:T;...; VarList:T;c|λ RoutDecPart → RoutDec;...; RoutDec|λ RoutDec → ProcHead;Block|FuncHead;Block ProcHead → procedure id(ParamDecList) FuncHead → function id(ParamDecList):Type ParamDecList→ ParamDec;...;ParamDec ParamDec →VarList:Type| var VarList:Type| ProcHead| FuncHead 2 执行体的语义分析 Body文法 Body → BEGIN StatementList END StatementList → Statement [; StatementList] Statement → Var := Expr Statement → Var := id(ExprList) Statement → Var := IF Expr THEN Statement [ELSE Statement] FI Statement → Var :=While Expr DO Statement OD Statement → Var := FOR id := Expr TO Expr DO Statement OD 2 执行体的语义分析 执行体语义分析任务 静态语义检查 进行语义转换 具体任务 标识符是否有定义，重复定义 运算分量类型是否相容 说明 在后面几章还将介绍部分语义分析内容 2 执行体的语义分析 program pl0(input,output); const norw = 11; {no. of reserved words} type symset = set of symbol; var ch: char; {last character read} procedure error(n: integer); begin writeln( ****, : cc-1, ^,n: 2); err := err+1 end {error}; begin {main program} for ch := chr(0) to chr(255) do ssym[ch] := nul; getsym; end. 2 执行体的语义分析 Body部分的定义 Body() begin next_token(); StatementList(); next_token(); end; StatementList() begin statement(); if token=“;” then next_token();StatementList() end; 2 执行体的语义分析（续） statement() begin case token of LABEL :LabelStatement(); ID : idStatement(); GOTO : gotoStatement(); IF : ifStatement(); WHILE : whileStatement(); FOR : forStatement(); end end 2 执行体的语义分析（续） 赋值语句 语法结构： Var := Expr 语句分析 起始词：标识符 与调用语句相同 如何处理？？（语法，语义） 回来再看看前面的总控程序 ID : idStatement(); 2 执行体的语义分析（续