【正确答案】：加入新的开始符号S'和规则S'→S，得到拓广文法：
   S'→S
   S→(L)
   S→a
   L→L1,S
   L→S
   为S，L引入属性high，语义子程序为：
   S'→S     print(S·high)
   S→(L)    S·h:=L·high+1
   S→a      S·high:=0
   L→L1,S   L·high:=L1·high+S·high
   L→S      L·h:=S·high