arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 2104.13072math.NT
收藏

如何证明序列不是自动的

How to prove that a sequence is not automatic

J. -P. Allouche, J. Shallit, R. Yassawi

摘要:

自动序列具有许多其他序列(特别是非均匀形态序列)不一定共享的属性。在本文中,我们调查了一些不同的方法,可以用来证明一个给定的序列是不是自动的。当序列在有限域${\mathbb F}_q$中取值时,这也允许证明相关的形式幂级数在${\mathbb F}_q(X)$上是超越的。

英文摘要:

Automatic sequences have many properties that other sequences (in particular, non-uniformly morphic sequences) do not necessarily share. In this paper we survey a number of different methods that can be used to prove that a given sequence is not automatic. When the sequences take their values in the finite field ${\mathbb F}_q$, this also permits proving that the associated formal power series are transcendental over ${\mathbb F}_q(X)$.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑