Clifford半群的自动性

Automaticity of a Clifford semigroup

研究了Clifford半群的自动性,证明了在一定条件下,Clifford半群S是自动化的,它的所有H类是自动化的和满足fellow traveller性质这三者之间是等价的.

In this article,the automaticity of a Clifford semigroup is considered.It is proved that under a certain condition,the three conclusions are equivalent,which are：a Clifford semigroup Sis automatic,all Hclasses of Sare automatic,and the fellow traveller property is satisfied.