同步链与纯正非同步半群  

Synchronizing chains and orthodox non-synchronizing semigroups

作　　者：李旺威 黎先华[2] LI Wangwei;LI Xianhua(Department of Mathematics,Lingnan Normal University,Zhanjiang 524048,China;Department of Mathematics,Soochow University,Suzhou 215006,China)

机构地区：[1]岭南师范学院数学与统计学院,广东湛江524048 [2]苏州大学数学科学学院,江苏苏州215006

出　　处：《扬州大学学报（自然科学版）》2021年第6期8-12,共5页Journal of Yangzhou University：Natural Science Edition

基　　金：国家自然科学基金资助项目(11871360);广东省普通高校青年创新人才资助项目(2021KQNCX048);岭南师范学院博士启动基金资助项目(ZL1924)。

摘　　要：通过合理转化自动机与变换半群的定义提出同步链的概念,证明了一些类型的变换半群满足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.

关 键 词：Cerny猜想 同步半群 纯正半群 本原群 

分 类 号：O152.2[理学—数学]