摘要

给出了模糊Moore型自动机可逆、可达和完备的定义;讨论了其相关性质,进而表明这些性质之间的关系,并且研究了模糊Moore型自动机的最小化性质。最后,系统地给出了关于它们的一些重要结果。