2.6 形式语义分析