When is an automatic set an additive basis?

摘要

We characterize those -automatic sets of natural numbers that form an additive basis for the natural numbers, and we show that this characterization is effective. In addition, we give an algorithm to determine the smallest such that forms an additive basis of order , if it exists.