なにやらこんがらがってるみたいだけど生成規則ｐ_i: L_i→R_iで∃i L_i∩R_i≠φでないとツリーは表現できないよ。