循环模糊有限状态机的半群和同态.pdfVIP

第27卷第3期 模糊 系统与数学 V0l。27，No·3 andMathematics Jun．’2013 2013年6月 FuzzySystems 文章缩号：1001—7402(2013)03·0116—06 循环模糊有限状态机的半群和同态+ 黄飞丹 (毕节学院数学与计算机科学学院，贵州毕节551700) 摘 要：定义了循环模糊有限状态机M=(Q，X，户)输入字集X‘上的右同余关系，讨论了其等价类做 成的半群E(M)的性质，及以该半群的子集为状态集的循环模糊有限状态机尼与原循环模糊有限状态 机肘的同态关系，得出了在某些条件下，肠与M是强同构的。 关键词：循环模糊状态机；半群；同态 中圈分类号：TP273 文献标识码：A 自从W．G．Wee[1]介绍了模糊自动机的概念以后，模糊自动机得到了广泛的研究，至今该领域已有 了丰富的成果[2叫]。模糊自动机分有两种：没有输出字符功能的模糊自动机和具有输出功能的模糊自动 机。本文所讨论的模糊状态机是指没有输出的模糊自动机，而循环模糊状态机是指由一个状态生成的模 糊状态机。一般地，一个模糊有限状态机可以分解为有限个循环模糊有限状态机的并，即准素分解比J，这 使得循环模糊有限状态机对一般的模糊有限状态机具有一定的研究意义。文[33对一般的模糊有限状态 机M一(Q，X，．￡￡)，定义了X’上的等价关系≈：37≈y当且仅当Vg，夕∈Q，产’(譬，z，夕)o圆产’(g， y，户)0。该等价关系是一个同余关系，且其等价类的集合可做成一个有限半群，文[3]还利用一般的 指数(即等价类个数)有限的X’上的同余关系～构造有限自动机。本文推广了[3]中的方法，定义了循 环模糊有限状态机X’上的等价关系，该等价关系是一个右同余关系，其等价类个数是有限的，并证明 了以等价类集合的子集为状态集的模糊自动机仍是一个循环模糊有限状态机，且在某些条件下，该循环 模糊状态机与原循环模糊状态机之间存在强同构关系。 1基本概念和记号 定义1．1[3]一个模糊有限状态机是一个三元组M一(Q，X，／I)，其中Q为有限状态集合，X为有 限输入字符集合，声：Q×X×Q一[o，1]为模糊转移函数。 设M=(Q，X，卢)是一个模糊有限状态机，以表示空字符。定义Q×X’×Q的模糊子集户。如下： f1。 口=痧 卢’(g，A，户)={．1，? I u q≠P Vz∈X。，口∈X 户‘(g，黝，户)=V{∥。(g，z，，．)A户’(r，口，户)}， 由文[3]知，V z，y∈X‘，有芦’(牮，xy，户)一V{产。(g，z，r)AP’(r，y，户))。 q，p∈Q，V 定义1．2设M=(Q，X，产)是一个模糊有限状态机，q。∈Q，若Vq∈Q，jz∈X’使得卢‘(口。， ·收稿日期：2011-11—28I修订日期：2013—03—29 基金项目：贵州省科技厅、毕节市科技局、毕节学院科技联合基金资助项目(黔科合】字LKB[2012]10号)l贵州省科学技术基金 资助项目(2012GZl0526) 作者简介：黄飞丹(1981一)，女，广西扶绥人，毕节学院数学与计算机科学学院讲师，研究方向：环、模及自动机理论。 万方数据 第3期 黄飞丹：循环模糊有限状态机的半群和同态 z，g)0，则称M是一个循环模糊有限状态机，q。称为M的一个生成子。 V户，g∈Q。，Va∈X，都有户。(口，口，户)≤胁(厂(g)，口，厂(户))，则称厂为M，到M：的同态，记为厂：M。一 M。．若VP，q∈Q。，Va∈X，都有户：(厂(g)，a，厂(户))=V {∥。(口，口，￡))，则称厂为M。到M。的强 同态。若一个同态(强同态)f是一个满(单)