|
|||||
|
|
| 模糊Büchi自动机的等价刻画 | |
| 作者姓名： | 韩召伟 李永明 |
| 作者单位： | 1. 陕西师范大学数学与信息科学学院 西安710062;陕西师范大学计算机科学学院 西安710062 2. 陕西师范大学计算机科学学院 西安710062 |
| 基金项目： | 国家自然科学基金，陕西师范大学科研启动基金，National Natural Science Foundation of China under Grant Nos.11271237 |
| 摘 要： | 模糊语言的研究是形式语言研究的焦点之一,然而如何对模糊语言进行刻画甚至更好地分类是其中一个重要研究方向.文章在模糊ω-语言的研究基础上,从模糊逻辑角度研究了模糊ω-正则语言的等价刻画.首先借助广义子集构造方法,证明了任一模糊Büchi自动机与具有分明初始状态和状态转移函数且具有模糊终状态的模糊Büchi自动机是等价的,藉此研究了模糊ω-正则语言的代数刻画和层次刻画,讨论了模糊ω-正则语言关于正则运算的封闭性;其次引入单体二阶(L)ukasiewicz逻辑的概念,给出模糊Büchi自动机识别语言的等价逻辑刻画;最后通过引入ω-星自由和ω-非周期模糊ω-语言,利用“层次化”处理技巧得到了多值逻辑意义下的分类定理,对模糊ω-正则语言给出了一种分类方法. |
| 关 键 词： | 模糊逻辑 模糊Büchi自动机 模糊ω-正则语言 单体二阶(L)ukasiewicz逻辑 刻画 |
| 本文献已被 万方数据 等数据库收录！ | |