7.2 矩形自动机可达性分析