5.3.4 状态爆炸问题