加载中…
Assuming the four exponentials conjecture, Hansel and Safer showed that if a subset of the Gaussian integers is both - and -recognizable, then it is syndetic, and they conjectured that must be eventually periodic. Without assuming the four exponentials conjecture, we show that if and are multiplicatively independent Gaussian integers, and at least one of , is not an -th root of an integer, then any - and -automatic configuration is eventually periodic; in particular we prove Hansel and Safer’s conjecture. Otherwise, there exist non-eventually periodic configurations which are -automatic for any root of an integer . Our work generalises the Cobham-Semenov theorem to Gaussian numerations.

生成讲解博客的中文版本

生成AI智能校验的中文版本