Max-Lukasiewicz复合推理下的模糊图灵机.pdfVIP

第 22卷第 5期 模 糊 系 统 与 数 学 V01．22，No．5 2008年 10月 FuzzySystemsandMathematics 0Ct．．2008 文章编号：1001—7402(2008)05—0005—05 Max—Lukasiewicz复合推理下的模糊图灵机 张小伟，李永明 (陕西师范大学 数学与信息科学学院，陕西 西安 710062) 摘 要 ：研究max—Lukasiewicz复合推理下的模糊 图灵机。形式化定义 了模糊 图灵机——确定型模糊 图 灵机、非确定型模糊图灵机、带部分转移函数的非确定型模糊 图灵机和多带模糊图灵机，研究了这几类 模糊 图灵机 的关系。进而定义模糊 图灵机上 的模糊递归可枚举语言和模糊递归语言。得 出结论：当接受 模糊递归可枚举语言时，非确定型模糊图灵机和确定型模糊图灵机不等价；而接受模糊递归语言时，它 们等价 。 关键词 ：max—Lukasiewicz复合 ；