交换环上线性有限自动机的弱可逆性——传输矩阵的分类与枚举

线性有限自动机的弱可逆性问题一直受到关注.近年来,可逆性理论又在密码体制,包括公钥密码体制的设计中得到应用.域上有限存贮线性有限自动机的判定与构作问题可见文献[1]等;环上有关判定等问题也有文章讨论,如文献[2].环上线性有限自动机的弱可逆性仅取决于它的传输矩阵,参见文献[1,2].本文运用代数工具,对有限含么交换环(?)上弱可逆线性有限自动机所可能有的传输矩阵集合(?)进行多种形式的分解与约化,并引进变换群进行分类,最后将无限集(?)的枚举问题归