例 8.2   　　描述说明语句中各种变量的类型信息的语义规则，这个例子里，继承属性在说明中为各个标识符提供类型信息。 　　产生式 　　　　　　语义规则 　　（1）D→TL 　　　　{L.in∶＝T.type} 　　（2）T→int　　　　{ T.Type∶＝integer} 　　（3）T→real　　　 { T.Type∶＝real} 　　（4）L→L1，id　　 { L1.in∶＝L.in 　　　　　　　　　　　　addtype（id.entry，L.in）} 　　（5）L→id 　　　　{addtype（id.entry，L.in）}