9.6.2 状态图的映射