通用模糊自动机  

Universal Fuzzy Automaton

作　　者：王茜[1] 李永明[1,2] 

机构地区：[1]陕西师范大学数学与信息科学学院,陕西西安710062 [2]陕西师范大学计算机科学学院,陕西西安710062

出　　处：《模糊系统与数学》2012年第6期66-73,共8页Fuzzy Systems and Mathematics

摘　　要：首先使用模糊语言的分解定义了通用模糊自动机:这个自动机以该模糊语言的分解作为状态,通过模糊语言的包含度定义其转移函数。其次定义了模糊自动机上的态射,证明了接受给定模糊语言的所有自动机都可以标准地映射到该语言对应的通用模糊自动机上,这个性质称为通用性。最后进一步讨论了模糊商自动机,模糊m-最小自动机,模糊最小自动机及与通用模糊自动机之间的关系。The notion of universal fuzzy automaton is introduced by factorizations of fuzzy language, whose states are factorsaitins of this fuzzy language and transition function is defined by the inclusion degree of fuzzy languages. Then, the morphism of fuzzy language is defined. Every automaton recognizing the given fuzzy language can canonically mapping into the universal fuzzy automaton of this language, which is called the universality property, is proved. Finally, the quotient of a fuzzy automaton, fuzzy m-minimal automaton, fuzzy minimal automaton and relations with the universal fuzzy automaton are discussed.

关 键 词：模糊自动机 模糊语言 态射 通用性 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]