Program $->$ Header Declarations Block $.$ Header $->$ program id ; Declarations $->$ VariableDeclarationSection ProcedureDeclarations VariableDeclarationSection $->$ VAR VariableDeclarations $|\backslash$epsi VariableDeclarations $->$ VariableDeclarations VariableDeclaration $|$ VariableDeclaration VariableDeclaration $->$ IdentifierList : Type ; IdentifierList $->$ IdentifierList $,$ id $|$ id Type $->$ integer $|$ real ProcedureDeclarations $->$ ProcedureHeader Declarations Block ; ProcedureHeader $->$ procedure id ; Block $->$ begin Statements end Statements $->$ Statements ; Statement $|$ Statement Statement $->$ id :$=$ Expression $|$ id $()|$ Block $|$ if Expression then Statement ElseClause $|$ while Expression do Statement $|\backslash$epsi ElseClause $->$ else Statement $|\backslash$epsi ExpressionList $->$ ExpressionList $,$ Expression $|$ Expression Expression $->$ SimpleExpression relop SimpleExpression $|$ SimpleExpression SimpleExpression $->$ Term $|$ addop Term $|$ SimpleExpression addop Term Term $->$ Term mulop Factor $|$ Factor Factor $->$ id $|$ num $|($ Expression $)|$ not Factor