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

• 作者: 李永明 韩召伟
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 模糊逻辑 模糊Büchi自动机 模糊ω-正则语言 单体二阶(L)ukasiewicz逻辑 刻画
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 计算机理论
• 页码范围: 1235-1245
• 页数: 11页
• 分类号: TP301
• 字数: 13335字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2013.01235

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学计算机科学学院	165	505	12.0	16.0
2	韩召伟	陕西师范大学数学与信息科学学院	11	40	2.0	5.0