20-第五章语义分析.pptVIP

第五章 语义分析 任课教师 王养廷 主要内容 语句体语义分析 程序实例分析 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;