格值正则语言截集的代数性质.pdf

第20卷(增刊) 模糊系统与数学 2006年9月 Volume andMathematics 20(Supplement)FuzzySystems Septembel：2006 格值正则语言截集的代数性质 梁常建1李永明2 (1．陕鹾师范大学数学与信息科学学院，西安710062； 2．陕西师范大学计算机科学学院，西安710062) 摘要：本文主要研究了格值正则语言在水平结构意义下的交，并，补等运算的封闭性，给 出了格值正则语言的水平结构关于这些运算的封闭或不封闭的条件． 关键词： 模糊语言；格值正则语言；水平结构；封闭性 中图分类号：0235；0153．1文献标识码： A §1 引言 LA 自从Zadeh WG利用模糊集 1965年提出模糊集理论【5]以后，1969年Wee 的方法研究自动机理论【4】，开始了模糊计算理论的研究，为不确定环境下的计算提供 了一种有用的计算模型．注意到不确定性环境下的计算需要更为强大的计算模型，李 永明等提出了格值自动机的理论[1—3】，把模糊计算建立在更广泛的格值自动机之上， 表明了格值自动机比模糊自动机有更强的计算能力【2】．研究表明，格值正则语言的水 平截集语言应该具有更为丰富的结构，但目前研究成果很少．基于此，本文主要研究了 格值正则语言在水平结构意义下的封闭性，并给出了格值正则语言截集封闭或不封闭 性成立的条件． §2 格值有限自动机及其性质 中Q是有限的非空状态集，E是有限的输入符号集，6：Q×∑×Q一二为模糊转移函 数，(70，盯1：Q—L分别为模糊初态和模糊终态，L为格半群． 设P是由∑生成的自由幺半群，其中P中的元素为∑上的字符串，E为空串， P上的乘法运算为连接运算．以下均设自动机的字符集为∑． 6的扩展函数扩：Q×∑+×Q—L，定义如下：扩(口，E，P)={i’：二：’， 1收稿日期：2006．04．29． 作者简介：粱常建(1981一)，男，河南鹿邑人，陕西师范大学硕士研究生．研究方向：计算智能 基金项且：国家自然科学基金资助项目 74 模糊系统与数学 第20卷(增刊) 为格值正则语言(工A语言)． 将格值模糊自动机的模糊转移函数取为分明的转移函数得到的自动机称为确定性 格值自动机(DLA)，类似地，我们可以得到相应的定义． 两个格值有限自动机Al和A2称为等价的，如果满足厶，=厶。． 言)，R={A {^l，∈DLA，}，其中^称为A截集，定义为：^=p∈∑‘If(O)≥^))． 记L40=u^∈L乙才^．对任意的A，B∈22‘，Au={9u0∈A}，AB={01020l∈A，02∈ B}，A_1=p_11 0∈A，}．A的补记为∥． 定理2．111,2l设L为格半群，则 (i)丽关于并，连接封闭；(ii)如果·满足交换律，丽关于反转封闭； (iii)丽关于补不一定封闭；(iv)蕊关于同态，逆同态封闭． f(O)≠o)∈R； 定理2．2I”(i)vy∈F(E+)，如果，∈丽，贝0s唧(，)={p∈∑。I (ii)VA∈L一{o)，则R∈上AA∈LAo； (i埘如果格半群L满足条件(FGC)：L的任意有限子集f生成的子代数也是有 限的，那么v，∈Z-2，^∈L一{o，，有^∈冗，即R=—DL—A^； c-UAe∈ L40． §3 LAo的代数性质 语言，∈丽，存在格值语言9∈砑，使得^，=gx。． 当如(目)芝A2当且仅当9(0)≥A2当且仅当0∈9x。，故^。=gx。． 动∈LA，使得^。=肌。． 证明与上面方法相