期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

格值树自动机的同余与同态 被引量：1

Congruence and Homomorphism of Lattice-valued Tree Automata
原文传递
导出
摘要 从代数的角度研究了格值树自动机的同余与同态,得出了格值树自动机的同态基本定理,进而研究了格值树自动机的语言之间的关系。 In this paper, congruence relations and homomorphisms of lattice-valued tree automata are studied from algebra angle, and it ＇s homomorphism fundamental theorem is obtained, then language between them related nature is studied.
作者 胡忠刚 娄全福
机构地区 南昌工学院民族教育学院
出处 《模糊系统与数学》 CSCD 北大核心 2015年第4期135-138,共4页 Fuzzy Systems and Mathematics
关键词 格值树自动机 同余 同态 格值树语言 Lattice-valued Tree Automata Homomorphism Congruence Lattice-valued Tree Language
分类号 TP301 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献12

  • 1Comon H, Dauchet M,Gilleron R,Jacquemard F,Lugiez D,Lodin C,Tison S,Tommasi M. Tree automata :Techniques and applications[M]. NA * 2008. 被引量：1
  • 2Gecseg F,Steinby M. Tree automata[M]. Budapest:Akademiai Kiado-1984. 被引量：1
  • 3Gecseg F,Steinby M. Tree languages[M]//Rozenberg G,Salomaa A. Handbook of Formal Languages, volume 3,Chapter 1,pages 1-68. Springer Verlag,1997. 被引量：1
  • 4Doner J E. Tree acceptors and some of their applications[J]. Journal of Computer and System Sciences- 1970,4 : 406-451. 被引量：1
  • 5Engelfriet J. Tree automata and tree grammars[C]//Lecture Notes DAIMI FN-10,Aarhus University,1975. 被引量：1
  • 6杨文武.格值树文法的正规化[D].陕西师范大学,2009. 被引量：1
  • 7Droste M, Kuich W,Vogler H. Handbook of weighted automata[M]//EATCS Monograph,in Theoretical ComputerScience. Springer,2009. 被引量：1
  • 8张瑞民..格值树自动机的最小化[D].陕西师范大学,2011:
  • 9胡忠刚,孙小迎,覃湘藩,邓培民.树自动机的同余与同态及其语言[J].高校应用数学学报（A辑）,2011,26(3):363-371. 被引量：1
  • 10Borchardt B. The Myhill-Nerode theorem for recognizable tree series[C]//Proc. 7th Int Lonf. Developments inLanguage Theory,volume 2710 of LNCS-pages 146-158. Springer Verlag,2003. 被引量：1

二级参考文献9

  • 1高军,杨冬青,唐世渭,王腾蛟.一种基于DTD的XPath逻辑优化方法[J].软件学报,2004,15(12):1860-1868. 被引量：17
  • 2高军,杨冬青,唐世渭,王腾蛟.基于树自动机的XPath在XML数据流上的高效执行[J].软件学报,2005,16(2):223-232. 被引量：33
  • 3Comon H, Dauchet M, Gilleron R, et al. Tree Automata Techniques and Applications (TATA)[Z]. 1999. http://www.grappa.univ-lille3.fr/tata. 被引量：1
  • 4Milo T, Suciu D, Vianc V. Typechecking for XML Transformers[A], In: Proc of the PODS 2000[C]. 2000, 11-22. 被引量：1
  • 5Hosoya H, Vouillon J, Pierce B C. Regular Expression Type for XML[A], In: Proc. of 5th ICFP[C]. 2000. 被引量：1
  • 6Kaji Y, Fujiwara T, Kasami T. Solving a unification problem under constrained substitutions using tree automata[J]. Journal of Symbolic Computation, 1997, 23: 79-117. 被引量：1
  • 7Hubret Comon, Max Dauchet, Remi Gilieron, et al. Tree Automata Techniques and Applications[M], http://tata.gforge.inria.fr/, 2005. 被引量：1
  • 8Sgmdor, VagvSlgyi. On ground tree transformations and congruences induced by tree automata[J]. Theoretical Computer Science, 2003, 304:449 -459. 被引量：1
  • 9Stanley Burris, Sankappanavar H P. A Course in Universal Algebra[M]. NewYork: SpringerVerlag, 1981. 被引量：1

同被引文献2

引证文献1

模糊系统与数学
2015年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部