论文部分内容阅读
在[0,1]格值区间上引入了模糊剩余自动机(FRFA)的概念：若一个模糊自动机(FFA)的每一个状态都定义了其接受语言的一个剩余语言,则称为模糊剩余自动机。讨论了模糊剩余自动机的一些性质以及模糊自动机的消去与饱和运算。在定义既约模糊剩余语言的基础上定义了标准模糊剩余自动机,并给出了构造方法。证明了一个模糊正则语言对应的标准FRFA即为识别这个语言的最小状态FFA,此研究为模糊自动机的状态最小化研究提供了另一种研究思路。