模糊代数系统.pdfVIP

第26卷第5期 模糊系统与数学 V01．26．No．5 and Mathematics 0Ct．。2012 2012年10月 FuzzySystems 文章编号：1001—7402(2012)05—0072—07 模糊代数系统‘ 张孟青1，李永明2 (1．陕西师范大学数学与信息科学学院，陕西西安710062； 2．陕西师范大学计算机科学学院，陕西西安 710062) 摘要：引入模糊代数系统及其强解的概念，给出其特有性质。定义proper和V—proper模糊代数系 统，并给出其解的一般表达形式。建立模糊代数系统与模糊上下文无关文法相互转化法则。最后得出 结论：任一proper和V—proper模糊代数系统都存在唯一强解。模糊上下文无关文法生成的模糊语言和 其对应的模糊代数系统的强解的某个分量是相等的。 关键词：模糊形式幂级数；模糊上下文无关文法及语言；模糊代数系统 中图分类号：0159 文献标识码：A 在20世纪30年代计算机出现之前，英国数学家图灵研究过一种抽象的机器，叫做图灵机。之后研 究者们又研究了比图灵机要简单的机器，称为“有穷自动机”。到20世纪50年代后期，美国语言学家 乔姆斯基开始研究“有穷自动机”所识别的文法，即上下文无关文法，从而产生了上下文无关语言口]。 Petre和Arto 后来，Ion 代数系统)。并发现其与上下文无关文法的联系，给出两者之间相互生成法则，并得出结论：上下文无 关文法与代数系统并非一一对应；代数系统强解的某个分量的支集与该代数系统对应的上下文无关文 法所生成的上下文无关语言的支集是一样的。与此同时，19世纪70年代为了在数学上处理带有模糊 性的不确定现象，Zadeh引入了模糊集的概念。之后研究者们把上下文无关文法扩充到模糊集上，产 生了模糊上下文无关文法及语言[6]。本文则是在上述背景下，给出模糊形式幂级数的概念，建立模糊 运算法则。并给出模糊代数系统的定义，研究其解的结构特征及有解的条件。建立模糊上下文无关文 法和模糊代数系统之间的转换法则。得到比代数系统更好的结论：任一V—proper模糊代数系统都存在 唯一强解，模糊代数系统强解的某个分量与该模糊代数系统对应的模糊上下文无关文法生成的模糊语 言是相等的。彰显了模糊范畴下代数系统独有的特色。由此看出，模糊代数系统是对模糊上下文无关 文法的另一种刻画，是研究模糊上下文无关文法的有利工具。 l 预备知识 定义1．1[21设M是一个非空集合，“·”为M上的二元运算。若M中存在单位元1，满足：1·m 1。若该二元运算满足交换律，即a·b=b·a，则称M为交换半群，记为(M，+，0。 *收稿日期：2012-03—27 基金项目：国家自然科学基金资助项目 作者简介：张孟青(1987一)，女，宁夏银川入，陕西师范大学研究生，研究方向：计算智能；李永明(1966一)，男，陕西大荔人，陕西师范 大学计算机科学学院院长，教授，博士生导师，研究方向：计算智能，模糊系统分析，量子逻辑与量子计算，格上拓扑学。 万方数据 第5期 张孟青，李永明：模糊代数系统 73 定义1．2[21设三为字母表，三‘表示三上由任意多个字母的连接包括空串￡组成的集合。定义三。 上的二元运算“·”为两个字符串的连接，则(三，·，e)为半群，称为自由半群。一个字符串硼所含字母 的个数