下推格值自动机接受词语言两种方式的等价性  

Equivalence of Two Methods of Recognizing Words of Pushdown Lattice-valued Automata

作　　者：吴静杰[1] 鲁来凤[2] 

机构地区：[1]西北政法大学经济管理学院,西安710062 [2]陕西师范大学数学与信息科学学院,西安710061

出　　处：《西安工业大学学报》2008年第6期601-604,共4页Journal of Xi’an Technological University

基　　金：陕西师范大学青年基金资助项目

摘　　要：在格半群框架下,针对下推格值自动机模型的特点,提出其两种接受词语言的方式,并利用格半群的代数性质和自动机理论,证明了这两种方式接受词语言的等价性.The pushdown lattice-valued automata（PDLA） based on lattice monid is introducecd. Two methods of recognizing words of PDLA according to characteristics are proposed. Furthermore, the equivalence of the two methods is proved using algebraic properties of lattice monoid and theory of automata.

关 键 词：下推格值自动机 格半群 词 模糊状态转移函数 

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