Talk:Automatic semigroup