乘积是自动机理论中的基本运算之一,在理论和应用方面都占有重要的地位。模糊自动机的乘积理论,就是用代数手段去研究模糊自动机乘积的转移(输出)结构,即模糊状态转移(输出)函数的特征。本文构造了模糊有限自动机新的乘积--Kronecker积,讨论Kronecker乘积意义下转移函数性质。自动机主要由转移结构和输出结构这两大部分组成,转移结构是自动机的内部成分,而输出结构是自动机的外部成分。输出结构依赖于转移结构,而转移结构却独立于输出结构,所以输入结构可以独立地被研究。由于不带输出函数的模糊有限自动机研究成果已经很多了,本文主要研究带输出函数的模糊有限自动机-Mealy-型模糊有限自动机一些代数性质。本文主要工作有如下两个方面:1.在矩阵理论框架下,引进了模糊有限自动机转移矩阵、变换矩阵半群、矩阵直和、矩阵和以及覆盖概念。利用矩阵的Kronecker积,给出了模糊有限自动机的新的乘积。进一步地,证明了矩阵直和覆盖矩阵和,Kronecker积对矩阵直和,Kronecker积对矩阵和的分配性质,Kronecker积与矩阵和满足结合律,但是矩阵直和不满足结合律。2.对Mealy-型模糊有限自动机覆盖关系作了细致的刻画,推广了原有的覆盖概念。针对Mealy-型这类模糊有限自动机,通过性质考察了此概念的合理有效性,新的覆盖概念在乘积自动机间建立了更多的联系。特别证明了直积、级联积、圈积三种乘积之间的覆盖关系,得到了一些乘积自动机覆盖关系的传递性质。