同步格值自动机的约简和最小化算法  

Reduction and Minimization Algorithm of Synchronous Lattice-valued Automata

作　　者：雷红轩[1] 李永明[2] 

机构地区：[1]内江师范学院数学系,四川内江641112 [2]陕西师范大学计算机科学学院,西安710062

出　　处：《计算机工程与应用》2006年第16期57-60,共4页Computer Engineering and Applications

基　　金：国家自然科学基金资助项目(编号:60174016);国家973重点基础研究发展计划资助项目(编号:2002CB312200);高等学校优秀青年教师教学科研奖励计划

摘　　要：引入了完备L-Fuzzy矩阵的概念,提出了取值于格半群上的输入字符和输出字符长度相同的模糊自动机的概念,即完备的同步格值自动机的概念,研究了它的主要性质;从行为矩阵出发,给出了完备的同步格值自动机状态等价和自动机等价的定义,从自动机的状态等价,研究了该自动机可约简的条件,并得到了该自动机的最小化算法。The concept of complete L-Fuzzy matrix is proposed,the definition of fuzzy automata takes truth values in a lattice-ordered monoid with the same of length of input and output words are formulated,i.e,the definition of complete synchronous lattice-valued automata are formulated,and its main properties is studied.From behavior matrix,the definition of statewise equivalence relations and automata equivalence of the complete synchronous lattice-valued automata are given,from the statewise equivalence relations,reducible condition and minimization algorithm of this kinds of automata are obtained.

关 键 词：格半群 模糊自动机 等价 约简 最小化算法 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]