摘要
通过合理转化自动机与变换半群的定义提出同步链的概念,证明了一些类型的变换半群满足Cerny猜想,并部分刻画了一类不满足Cerny猜想的变换半群,即纯正非同步半群.
Reasonably transforming the definitions of automata and transformation semigroups,the concept of synchronization chain is proposed.It is proved that some types of transformation semigroups satisfy the Cerny's conjecture,and a class of transformation semigroups which do not satisfy the Cerny's conjecture such as orthodox non-synchronizing semigroups,are partially characterized.
作者
李旺威
黎先华
LI Wangwei;LI Xianhua(Department of Mathematics,Lingnan Normal University,Zhanjiang 524048,China;Department of Mathematics,Soochow University,Suzhou 215006,China)
出处
《扬州大学学报（自然科学版）》
CAS
北大核心
2021年第6期8-12,共5页
Journal of Yangzhou University：Natural Science Edition
基金
国家自然科学基金资助项目(11871360)
广东省普通高校青年创新人才资助项目(2021KQNCX048)
岭南师范学院博士启动基金资助项目(ZL1924)。
关键词
Cerny猜想
同步半群
纯正半群
本原群
Cerny's conjecture
synchronizing semigroup
orthodox semigroup
primitive group
