模糊有限状态机笛卡尔合成的一些结果.pdfVIP

第26卷第6期 模糊系统与数学 V01．26，No．6 andMathematics 2012年12月 FuzzySystems Dec．，2012 文章编号：1001—7402(2012)06—0173—08 模糊有限状态机笛卡尔合成的一些结果+ 杨京开 (玉林师范学院数学与信息科学学院，广西玉林537000) 摘要：讨论了模糊有限状态机的笛卡尔合成的一些性质，得到了模糊有限状态机的笛卡尔合成在强同 构意义下满足交换律，结合律，讨论了模糊有限状态机的笛卡尔合成与其因子在子系统(强子系统)，自 由子集，基等方面的相似的结构性质，给出了模糊有限状态机的笛卡尔合成的准素子机分解，证明了模 糊有限状态机的笛卡尔合成的容许关系的投影是其因子的容许关系。 关键词：模糊有限状态机；笛卡尔合成；分解；容许关系 中图分类号：TP301 文献标识码：A 1 引言 1965年，美国控制论专家Zadeh[13提出了模糊集的概念，模糊集作为经典集合论的一种有效推广， 概念，这一概念的提出更加丰富了模糊集理论研究的内容。自从那时起，模糊有限自动机的研究受到了 研究者的广泛关注。对于模糊有限自动机的研究主要包括模糊自动机的约简，等价性，最小化，模糊有限 自动机的积与覆盖，模糊有限自动机的分解，模糊识别器等几个方面的内容。自动机的积是自动机研究 造模糊有限状态机的积的一些方法，研究了他们的相互关系。Kim[1叩等通过一个t一范数的概念引入了 卡尔合成，讨论了模糊有限状态机的笛卡尔合成与其因子在诸如单生成的，可恢复性，连通性，强连通 性，交换性，完备性，状态独立性等方面所具有的相似的结构性质。 本文利用代数手段，继续对模糊有限状态机的笛卡尔合成进行了研究。主要结果有： (1)模糊有限状态机的笛卡尔合成在强同构意义下满足交换律，结合律；模糊有限状态机的笛卡尔 合成与模糊有限状态机的和满足分配律； (2)模糊有限状态机的笛卡尔合成与其因子在子系统(强子系统)，自由子集，基等方面具有相似的 结构性质； (3)模糊有限状态机的笛卡尔合成的容许关系的投影是其因子的容许关系。 2 基本概念与记号 *收稿日期：2011一04—15；修订日期：2011-12-31 基金项目：广西教育厅科研项目(201204I。X352)；玉林师范学院2010年院级青年科研项目(2010YJQNl7) 作者简介：杨京开(1982一)，男，广西贵港人，玉林师范学院数学与信息科学学院讲师，研究方向：自动机理论，代数及其应用。 万方数据 174 模糊系统与数学 空有限集，其中Q称为状态集，X称为输入字母集，且／1是Q×x×Q的一个模糊子集，即卢：Q×x× Q一[o，1]。 定义2．2[43 产*(g，e，户)一{：’q_P， 这里￡为x*上的空字 l u， q≠P V Q，．72EX”，aEX 卢”(q，z日，p)一V{产‘(q，z，r)^P(r，a，p)lr∈Q}，q，户E 在不致引起混淆的情况下，我们也用卢表示／1。． 定义2．3L43设M一(Q，x，／1)是一个模糊有限状态机，VP，q∈Q，户称为q的一个直接后继，如 E E 果存在口E x+使得∥(g，z，户)0。设q x使得卢(q，a，户)0；P称为q的一个后继，如果存在z ET}。 Q，则S(g)表示q的所有后继的集合。如果丁∈Q，则