Given an integer base b>1, a set of integers is represented in base b by a language over 0,1,...,b-1. The set is said to be b-recognisable if its representation is a regular language. It is known that ultimately periodic sets are b-recognisable in every base b, and Cobham's theorem implies the converse: no other set is b-recognisable in every base b. We are interested in deciding whether a b-recognisable set of integers (given as a finite automaton) is eventually periodic. Honkala showed in 1986 that this problem is decidable. Leroux used in 2005 the convention to write integers with the least significant digit first (LSDF), and designed a quadratic algorithm to solve a more general problem. We use here LSDF convention as well and give a structural description of the minimal automata that accept periodic sets of integers. We then show that it can be verified in linear time if a given minimal automaton meets this description. This yields a O(bn log(n)) procedure to decide whether a general deterministic automaton accepts an ultimately periodic set of numbers.

@misc{1708.06226,
author = {Erzsébet Csuhaj-Varjú and Pál Dömösi and György Vaszil},
title = {{P}roceedings 15th {I}nternational {C}onference on {A}utomata and {F}ormal {L}anguages},
year = {2017},
eprint = {1708.06226},
howpublished = {EPTCS 252, 2017},
doi = {10.4204/EPTCS.252},
note = {arXiv:1708.06226v1}
}

The 15th International Conference on Automata and Formal Languages (AFL 2017) was held in Debrecen, Hungary, from September 4 to 6, 2017. The conference was organized by the Faculty of Informatics of the University of Debrecen and the Faculty of Informatics of the Eötvös Loránd University of Budapest. Topics of interest covered all aspects of automata and formal languages, including theory and applications.

We prove that if a group generated by a bireversible Mealy automaton contains an element of infinite order, its growth blows up and is necessarily exponential. As a direct consequence, Z cannot be generated by a bireversible Mealy automaton.