树自动机的同余与同态及其语言  

Tree automaton's congruences and homomorphisms and language

作　　者：胡忠刚[1] 孙小迎[2] 覃湘藩[1] 邓培民[1] 

机构地区：[1]广西师范大学数学科学学院,广西桂林541004 [2]南昌工学院民族教育学院,江西南昌330108

出　　处：《高校应用数学学报（A辑）》2011年第3期363-371,365-371,共9页Applied Mathematics A Journal of Chinese Universities(Ser.A)

基　　金：国家自然科学基金(60473005);广西自然科学基金(0832103);广西研究生教育创新计划(2008106020701M235)

摘　　要：从代数的角度出发研究树自动机的同余与同态,得出树自动机的同态基本定理和同构基本定理,进而研究它们之间语言的相关性质.In this paper,the congruences and homomorphisms of tree automata are studied from the algebra angle,the tree automaton’s homomorphism fundamental theorem and the isomorphism fundamental theorem are obtained,then language between them related nature is studied.

关 键 词：树自动机 确定的树自动机 同态 同余 树语言 

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