属性文法 表达式文法E>T+ T T or T E→Tl+T2 I TI. type =int T2. type- T. type E type: int] E→T1orT2 I TI type= bool T2type= T. type E type =booly T→ IT type int T→b T type booly属性文法 表达式文法 E—>T+T| T or T T—>n | b E→T 1 + T2 { T1.type = int T 2.type= T1.type E.type :=int} E →T 1 or T2 { T1.type = bool T 2.type= T1.type E.type :=bool} T → n { T.type := int} T → b { T.type := bool}