自动机的最小化问题一直是自动机理论中比较重要和核心的问题之一,本文主要讨论了两类自动机的性质和最小化问题。一类是格值Moore型有限自动机,另一类是基于模糊点的格值有限自动机。全文分三章,主要内容如下：第一章主要介绍了有关模糊集合的理论基础知识和格半群的性质及格半群上的同余关系和同态关系。第二章通过定义格值Moore型有限自动机,讨论了它的格值转移函数和格值输出函数的性质,通过定义格值Moore型有限自动机的状态弱等价,得到了基于状态弱等价的最小化算法并给出了实例验证。第三章我们首次提出了基于模糊点的格值有限自动机,通过定义基于模糊点的格值有限自动机,主要研究了它的代数性质,它和经典的格值有限自动机的关系,通过定义基于模糊点的格值有限自动机上的同余关系,得到了将其约简并与原自动机等价的最小化方法。