两类格值无限自动机的性质及其最小化问题.pdfVIP

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