格值有限自动机的乘积.pdf

高校应用数学学报 2009，24(1)：121—126 格值有限自动机的乘积 刘 军，莫智文 (四川师范大学数学与软件科学学院，四川成都 610066) 摘 要：初步建立了格值有限 自动机的乘积理论．引入了格值变换半群，研究了格值 有限 自动机在各种乘积情形下的转移函数性质，讨论了各种乘积之间的覆盖关系，为 进一步研究量子 自动机的乘积理论奠定基础． 关键词：格值有限自动机；直积；级联积；圈积 中图分类号：TP301．1 文献标识码：A 文章编号：1000-4424(2009)010121—06 §1 引 言 自从fl1提t~Fuzzy集理论之后，利用Fuzzy集的方法研究自动机理论和码论也就展开了2【J． 随后，F：uzzy自动机的研究和应用越来越深入．f3—51开始了模糊 自动机的代数研究．6『-7]也对模糊 自动机的代数性质做了详细的研究．在 自动机理论中，乘积是基本运算之一．不同形式的乘积和 覆盖关系在 自动机的分解中起着非常重要的作用．近来，8『1提出了基于剩余类逻辑的自动机理 论．9『1提出了取值于格半群的自动机及其语言的理论．本文在9『1中定义的格半群框架下讨论自 动机的乘积，建立了与经典 自动机相对应的格值 自动机的乘积理论和覆盖关系． §2预备知识 定义2．IIlo，p9-l0】一个格值有限自动机(简写为LFA)~--个五元组M =(Q，X，y，，)．其 中：Q，X，Y分别是非空有限状态集，非空有限输入符号集，非空有限输出符号集． 是Q×XX Q上的一个 模糊子集，即 ：QXX XQ一 称为模糊状态转移函数．是QXXXY上的一 个厶模糊子集，即 ：Q × ×Y— 称为模糊输出函数．并且对于一个格值有限自动机满足 如下条件： (Vq∈Q)(V ∈x)((( ∈Q)，g(q，，P)0){((j ∈Y)a(q，z，Y)0))． 文中所涉及的格半群参看[9-1o]．由于只讨论自动机的转移结构，从而将上述定义中的格值 有限自动机表示为M =(Q，X，)．我们约定这里的半群运算 “·”具有交换性． 定义2．2l【0，pol设M = (Q，X，)是一个格值有限自动机．其中V ∈X ，a∈X，A表示空 字符， 表示集合 上有限长度的所有字符串的集合． 收稿 日期：2008-03-23 基金项目：国家自然科学~ ；四川省青年科技；~,@(O7ZQ026114) 122 高校 应 用 数 学 学报 第24卷第1期 ：Q ×X ×Q— L定义如下： (q，，p)：L{u’q-i， ， g产 (g，xa，P)=V{(q，z，r)·(r，n，p))． r∈Q ~Jlt2．1[10，plO】设M ：(Q，，)是一个格值有限自动机，~,UVq，P∈Q，，Y∈X ， (口，xy，P)=V{(口，，r)·(r，，p))． r∈Q 定理2．1 设M =(Q，X，)是一个格值有限自动机，定义x 上的一个关系三如下： ， Y∈X ，z三Y{=} (口，，P)= (q，，p)，Vp，口∈Q．则三是 上的一个同余关系． V ∈X ，】={∈X Ix三 )，E(i)={Ix]Ix∈X )． 定t2．2 设M =(Q，X，)是一个格值有限自动机，定义E(M)上的一个关系 如下： V[】，[∈E(M)，[] [Y]=[ 则(E(M)，)是含有单位元的一个有限半群． 定义2．3 一个格值变换半群(LTS)是一个三元组(Q， P)．其中Q是一个有限非空状态集， S是一个有限半群，p是一个Q ×X ×Q上的满