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

作者：韩召伟; 李永明

来源：计算机学报, 2013, (06): 1235-1245.

• 模糊逻辑
• 模糊Büchi自动机
• 模糊ω-正则语言
• 单体二阶Lukasiewicz逻辑
• 刻画 fuzzy logic
• fuzzy Büchi automaton
• fuzzy ω-regular language
• monadic second-order Lukasiewicz logic
• characterization

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

• 单位
  陕西师范大学