5.6 繁忙表达式分析

5.7 定义可达性分析

5.8 前向后向分析，可能必须分析

5.9 初始化变量分析

5.10 转移函数