[1]徐 慧,田 径.幺半群-矩阵型自动机的商自动机[J].南京师范大学学报(自然科学版),2017,40(02):39.[doi:10.3969/j.issn.1001-4616.2017.02.007]
　Xu Hui,Tian Jing.Factor Automata of Monoid-Matrix Type Automata[J].Journal of Nanjing Normal University(Natural Science Edition),2017,40(02):39.[doi:10.3969/j.issn.1001-4616.2017.02.007]
点击复制

幺半群-矩阵型自动机的商自动机()
分享到：

《南京师范大学学报》（自然科学版）[ISSN:1001-4616/CN:32-1239/N]

卷:
第40卷
期数:
2017年02期
页码:
39
栏目:
·数学·
出版日期:
2017-06-29

文章信息/Info

Title:
Factor Automata of Monoid-Matrix Type Automata
文章编号:
1001-4616(2017)02-0039-04
作者:
徐 慧1; 田 径2
(1.空军工程大学理学院,陕西 西安 710051)(2.西安外国语大学经济金融学院,陕西 西安 710128 )
Author(s):
Xu Hui1; Tian Jing2
(1.School of Science,Air Force Engineering University,Xi’an 710051,China)(2.School of Economy and Finance,Xi’an International Studies University,Xi’an 710128,China)
关键词:
幺半群-矩阵型自动机; 同态; 同余; 商自动机
Keywords:
Monoid-matrix type automaton; homomorphism; congruence; factor automaton
分类号:
O152.7
DOI:
10.3969/j.issn.1001-4616.2017.02.007
文献标志码:
A
摘要:
本文从两个幺半群之间的同态出发,构造(n,S)-自动机之间的满同态,得到自动机的同余关系,进一步,在状态集的商集上,重新构造新的自动机(即所谓商自动机),并阐述了所构造的自动机与满同态所对应的自动机是同构的. 在此基础上,引入(n,S)-自动机上的所谓的L和R关系,证明了这两个关系是可交换的.
Abstract:
In this paper,we start with a monoid homomorphism. Then we construct an(n,S)-automaton homomorphism and a congruence. Further,a new automaton(that is,factor automaton)is contructed on the quotient set. Also,we prove that factor automaton is isomorphic to homomorphic image. Based on these,we introduce two binary relations L and R on(n,S)-automaton and prove that they are commutative.

参考文献/References:

[1] FLECK A C. Isomorphism groups of automata[J]. Journal of the association for computing machinery,1962,9(4):469-476.
[2]ITO M. Algebraic theory of automata and languages[M]. Singapore:World Scientific Press,2004.
[3]TIAN J,ZHAO X Z. Representations of commutative asynchronous automata[J]. Journal of computer and system sciences,2012,78:504-516.
[4]TIAN J,ZHAO X Z,SHAO Y. On structure and representations of cyclic automata[J]. Theoretical computer science,2016,609:344-360.
[5]XU H,TIAN J,ZHAO X Z. Monoid-matrix type automaton[J]. Theoretical computer science,2014,520:1-10.
[6]HOWIE J M. Automata and languages[M]. Oxford:Clarendon Press,1991.

备注/Memo

备注/Memo:
收稿日期:2017-03-21.
基金项目:国家自然科学基金项目(61402364).
通讯联系人:徐慧,博士,讲师,研究方向:半环与自动机的代数理论. E-mail:xaxuhui716@126.com
更新日期/Last Update: 2017-06-30