非确定型模糊有限自动机的一种新的极小确定化方法

摘要

非确定型模糊有限自动机的极小确定化是自动机理论中的一个重要问题。在格序幺半群下，本文给出一种非确定型模糊有限自动机的新的极小确定化方法，称为内部构造法。为此，首先给出了模糊状态的内部的定义及其相关性质，进一步证明任给一个非确定型模糊有限自动机，利用模糊状态的内部的性质得到一个极小的确定型模糊有限自动机与之等价，最后通过例子验证该方法的正确性。

关键词

格序幺半群 / 非确定型模糊有限自动机 / 确定型模糊有限自动机 / 极小确定化 / 内部构造

基金资助

国家自然科学基金资助项目(61673250); 陕西省自然科学基金资助项目(2020JM-247); 中央高校基础研究基金项目(Gk201803008)