模糊剩余自动机

摘要：

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

关键词：剩余语言、模糊剩余自动机、饱和运算、消去运算、标准FRFA

所属期刊栏目：26

分类号：O159(代数、数论、组合理论)

资助基金：国家自然科学基金资助项目60873119

在线出版日期：2013-01-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：138-146