2.2.2 状态转移矩阵的运算性质