格值模糊自动机及对应语言的分级  

Hierarchy of lattice-valued fuzzy automata and their languages

作　　者：薛倩倩[1] 李永明[1] 

机构地区：[1]陕西师范大学计算机科学学院,陕西西安710119

出　　处：《陕西师范大学学报（自然科学版）》2014年第3期10-14,共5页Journal of Shaanxi Normal University：Natural Science Edition

基　　金：国家自然科学基金资助项目(11271237;61228305);高等学校博士点专项科研基金项目(20130202110001)

摘　　要：为了探讨格值模糊自动机等价的条件,采用对偏序格半群加以限制的方法,将格值模糊有限自动机划分为确定的、序列型的、无歧义的、有限歧义以及无限歧义自动机这几种不同的类型,得到这几类自动机接受语言之间的关系为L-DFA■L-Seq■L-NAmb■L-FAmb■L-Reg;当偏序格半群非局部有限时,关系为L-DFAL-SeqL-NAmbL-FAmbL-Reg;当偏序格半群局部有限时,关系为L-DFA=L-Seq=L-NAmb=L-FAmb=L-Reg.In order to explore the condition of equivalence of lattice valued fuzzy automata,by u-sing the method of restricting the lattice-ordered monoid,automata could be divided into determi-nate,sequential,unambiguous,finitely ambiguous and infinitely ambiguous automata.In which the lattice-ordered monoid is commutative,then it is obviously that L-DFAL-SeqL-NAmbL-FAmbL-Reg.If the lattice-ordered monoid is not local finiteness,the relationship among the languages is L-DFAL-SeqL-NAmbL-FAmbL-Reg.And if it is local finiteness,the rela-tionship could be L-DFA=L-Seq=L-NAmb=L-FAmb=L-Reg.

关 键 词：有穷自动机 正则语言 偏序格半群 局部有限 

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