本文在模糊自动机理论的基础上，讨论了模糊有限自动机的拓扑性质． 首先，本文着重研究了模糊有限自动机的bifuzzy successor算子和bifuzzysource算子间的基本性质及关系，深化了对模糊有限自动机的双模糊特征的研究．其次．本文讨论了由模糊有限自动机的bifuzzy successor算予和bifuzzysource算子导出的各种双模糊拓扑，系统地进行了分类，讨论了它们之间的关系，进而提出了模糊有限自动机的相对双模糊拓扑的概念．初步研究了一类相对双模糊拓扑的分离性和收敛性，补充和完善了对模糊有限自动机的双模糊特征的研究．最后将模糊有限自动机在有限情形下的乘积(直积，级联积，圈积)性质推广至无限乘积，并系统研究了它们在无限情形下的覆盖性质.