Mealy型模糊有限自动机的最小化算法探讨与关键特性

该篇论文《Mealy型模糊有限自动机的最小化算法》发表于2007年7月的《系统工程理论与实践》第7期，文章编号为100026788(2007)0720122205。作者洪晓蕾、万美凯、蒋毅和莫智文分别来自成都市树德中学、西南交通大学峨嵋校区基础课部以及四川师范大学数学与软件科学学院。这篇研究主要关注Mealy型模糊有限自动机这一领域，这是一种结合了模糊逻辑和传统有限自动机的模型，在处理模糊系统中的控制和决策问题上具有重要意义。 Mealy型模糊有限自动机是一种特殊的自动机，其特点是输入和输出都受到模糊度的影响，使得机器的行为不再局限于确定性的规则，而是能够适应不确定性。论文首先定义了Mealy型模糊有限自动机的扩张概念，即通过增加模糊度来扩展原有系统的功能或行为。这一步骤有助于理解自动机在处理模糊输入时的动态变化。 接着，作者深入探讨了Mealy型模糊有限自动机的性质，包括其模糊转移函数的特性，这是决定系统响应的关键部分。他们揭示了这种自动机与一般Mealy模糊有限自动机在模糊转移函数上的内在联系，这为后续的最小化算法设计提供了理论基础。 最小化算法是自动机理论中的一个重要课题，尤其是在有限状态机设计中，通常的目标是找到一个等价的、但状态数量更少的自动机，这可以简化系统的复杂性，提高执行效率。论文中提到的最小化算法针对Mealy型模糊有限自动机进行了创新性的探讨，旨在通过优化过程找到一个在满足输入输出关系的同时，状态数目最少的模糊自动机模型。 此外，论文还标注了关键词，如Mealy型模糊有限自动机、模糊字符串和最小化，这些关键词突出了研究的核心内容。收稿日期为2006年205月21日，且文章得到了国家自然科学项目的资助，表明这项研究具有一定的理论价值和实际应用前景。 这篇论文通过定义和讨论Mealy型模糊有限自动机的扩张及其性质，为解决模糊系统中的控制问题提供了一种新的最小化方法，对于模糊逻辑在自动化领域的应用和发展具有重要的推动作用。