我们通过运算得到所有状态转换的情况，这种方法我们称为。