7.3.2 形式化树模型