Talk:K-automatic sequence