模糊Büchi自动机的等价刻画

李永明韩召伟

陕西师范大学;

摘要：

模糊语言的研究是形式语言研究的焦点之一,然而如何对模糊语言进行刻画甚至更好地分类是其中一个重要研究方向.文章在模糊ω-语言的研究基础上,从模糊逻辑角度研究了模糊ω-正则语言的等价刻画.首先借助广义子集构造方法,证明了任一模糊Büchi自动机与具有分明初始状态和状态转移函数且具有模糊终状态的模糊Büchi自动机是等价的,藉此研究了模糊ω-正则语言的代数刻画和层次刻画,讨论了模糊ω-正则语言关于正则运算的封闭性;其次引入单体二阶(L)ukasiewicz逻辑的概念,给出模糊Büchi自动机识别语言的等价逻辑刻画;最后通过引入ω-星自由和ω-非周期模糊ω-语言,利用“层次化”处理技巧得到了多值逻辑意义下的分…展开v

关键词：模糊逻辑、模糊Büchi自动机、模糊ω-正则语言、单体二阶(L)ukasiewicz逻辑、刻画

所属期刊栏目：36

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金11271237,11226266;陕西师范大学科研启动基金999553;National Natural Science Foundation of China under Grant Nos.11271237,11226266 and the Scientific Research Initial Funding of Shaanxi Normal University under Grant No.999553

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

页数：共11页

页码：1235-1245