第5章 1.文法 S->a|^|(T) T->T, SIS (1)对(a,(a,a)的最左推导为: S=>(T) =>(a,S) >(a,(T,S) =>(a,(S,S)) =>(a,(a,S) >(a,(a,a)) 对((a,a),,(a)),a)的最左推导为: S=>(T) =>(T,S) =>(S,S) =>(T),S) =>(T,S),S) (T,S,S),S) =>(S,S,S),S) =>((T),S,S),S) >((T,S),S,S),S) >((S,S),S,S),S) =>((a,S),S,S),S) =>((a,a),S,S),S) =>((a,a),,S),S) =>((a,a),,(T),S) =>((a,a),,(S)),S) =>((a,a),,(a)),S) =>((a,a),",(a)),a) 改写文法为 0)S->a 2)S->(T) 4)N2>,SN2第5章 1.文法 S->a|^|(T) T->T,S|S (1) 对(a,(a,a)的最左推导为： S=>(T) =>(T,S) =>(S,S) =>(a,S) =>(a,(T)) =>(a,(T,S)) =>(a,(S,S)) =>(a,(a,S)) =>(a,(a,a)) 对(((a,a),^,(a)),a) 的最左推导为： S=>(T) =>(T,S) =>(S,S) =>((T),S) =>((T,S),S) =>((T,S,S),S) =>((S,S,S),S) =>(((T),S,S),S) =>(((T,S),S,S),S) =>(((S,S),S,S),S) =>(((a,S),S,S),S) =>(((a,a),S,S),S) =>(((a,a),^,S),S) =>(((a,a),^,(T)),S) =>(((a,a),^,(S)),S) =>(((a,a),^,(a)),S) =>(((a,a),^,(a)),a) (3) 改写文法为： 0) S->a 1) S->^ 2) S->( T ) 3) T->S N2 4) N2->, S N2 5) N2->ε