Séminaire Lotharingien de Combinatoire，B30c（1993），23第页。
[原名：Publ.I.R.M.A.Strasbourg，1993，1993/034，p。1-18.]

J.-P.Allouche公司

有限自动机与算术

摘要。有限自动机生成的序列概念，（或更准确地说，是一个具有输出功能的有限自动机，即“统一标签系统”）1972年由科巴姆研究。1980年，克里斯托尔、卡迈、法国门德斯和劳西证明了一个具有有限值的序列字段是自动的，当且仅当相关的形式权力级数是带系数有理函数上的代数级数在这个领域：这是许多结果的起点联系自动机理论、组合学和数论。我们的目标是调查这方面的一些结果，尤其是超越结果，并提供带自动序列示例的读者。我们还将给出一个可以找到更详细研究的参考书目。

以下版本可用：