Automatic sequences were introduced by Büchi in 1960,[REF] although his paper took a more logico-theoretic approach to the matter and did not use the terminology found in this article.
The term "automatic sequence" first appeared in a paper of Deshouillers [REF].