在[0,1]格值区间上引入了模糊剩余自动机(FRFA)的概念:若一个模糊自动机(FFA)的每一个状态都定义了其接受语言的一个剩余语言,则称为模糊剩余自动机。讨论了模糊剩余自动机的一些性质以及模糊自动机的消去与饱和运算。在定义既约模糊剩余语言的基础上定义了标准模糊剩余自动机,并给出了构造方法。证明了一个模糊正则语言对应的标准FRFA即为识别这个语言的最小状态FFA,此研究为模糊自动机的状态最小化研究提供了另一种研究思路。
This paper introduces the definition finite automata is a fuzzy finite automata if all of fuzzy residual finite automata(FRFA). the states of which define fuzzy residual A fuzzy residual languages of thefuzzy language that it recognizes. We discuss some properties of the FRFA, and saturation operator and reduction operator of fuzzy finite automata. We define canonical FRFAs based on the notion of irreducible residual languages, i.e. that are not the union of other residual languages, and given a construction method. Last, prove that every fuzzy regular language is recognized by a unique canonical FRFA which has a minimal number of states and a maximal number of transitions. The study provides another perspective for the minimize of states of fuzzy finite automata.