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

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

加权自动机的极小确定化

本文给出了可消d-半环上加权自动机的极小确定化算法及其证明。通过定义加权自动机的等价状态,利用状态集上的等价关系和极大分解给出了可消d-半环上加权自动机的完备极小确定化算法,并给出了该算法的详细证明。