幺半群-矩阵型自动机相关论文