期刊文献+

广义标准自动机及其商自动机

Generalized canonical automata and factor automata
下载PDF
导出
摘要 文中给出了广义正规自动机上L关系的定义。由此出发刻画了广义标准自动机,即L是等价关系的广义正规自动机。证明了L是广义标准自动机上的同余关系,并给出了商自动机A/L是循环自动机的刻画。 In this paper,the L-relation on the generalized normal automaton is introduced.A generalized normal automaton is called generalized canonical if L is an equivalence relation.Then a characterization of generalized canonical automaton is given.Also,it is proved that L is a congruence on the generalized canonical automaton.Consequently,the cyclic factor automaton A/L is discussed.
作者 徐慧 田径 金英姬 XU Hui;TIAN Jing;JIN Yingji(Department of Basic Course,Air Force Engineering University,Xi′an 710051,China;Economy and Finance School,Xi′an International Studies University,Xi′an 710128,China;School of Education,Xizang Minzu University,Xianyang 712082,China)
出处 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2018年第2期168-171,共4页 Journal of Northwest University(Natural Science Edition)
基金 国家自然科学基金资助项目(11661073 61402364) 西藏自治区自然科学基金资助项目(2016ZR-15-19)
关键词 极小生成元集 广义标准自动机 循环自动机 商自动机 minimal generated set generalized canonical automaton cyclic automaton factor automaton
  • 相关文献

参考文献1

二级参考文献10

  • 1TURING A M. On Computable Numberwith an Ap- plication to the Entscheiclungs Problem [J]. Proceed- ings of the London Mathematical Society, 1936, 42 (2) : 230-265.
  • 2KIEENS S E.Representation of Events in Nerve Nets and Finite Automata. In: Automata Studies [M]. Princeton : Princeton University Press, 1956 : 3-42.
  • 3WEE W G. On Generalizations of Adaptive Algorithms and Application of the Fuzzy Sets Concept to Pattern Classification[D]. West Lafayette: Purdue University, 1967.
  • 4PAZ A.Introduction to Probabilistic Automata [M]. San Diego : Academic Press, 1971.
  • 5FLECK A C. Isomorphism Groups of Automata [J]. Journal of the Association for Computing Machinery, 1962, 9:469-476.
  • 6gAVE Z.Structure and Transition-Preserving Func- tions of Finite Automata[J]. J ACM, 1968,15:135 -158.
  • 7FEICHTINGER O.Some Results on the Relation Be- tween Automata and Their Automorphism Groups [J]. Computing, 1966, 1:327-340.
  • 8ITO M.Algebraic Theory of Automata and I.anguages [M]. Singapore: World Scientific Publishing Co Pte Ltd, 2004.
  • 9TIAN Jing,ZHAO Xianzhong. Representations of Com- mutative Asynchronous Automata[J]. J Comput System Sci,2012, 78: 504-516.
  • 10XU Hui, TIAN Jing, ZHAO Xianzhong. Monoid-Ma- trix Type Automata [J]. Theor Comput Sci, 2014, 520:1-10.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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