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