2.1.5 状态最小化算法