A self-generating sequence

Cloitre, Benoit

doi:10.1016/j.tcs.2025.115721

2026-01-01

PRE

Cloitre, Benoit

Shallit, Jeffrey *

DOI：10.1016/j.tcs.2025.115721

原文链接

摘要

En 中文

2009年，第一作者引入了一个特定的自生成序列(an)n >= 1 = 1,1, 2,1,1,1,1, 2,1,1, 2,1,1, 2, 1, 2, 2, ...，其性质为第n组中出现的各项之和等于序列第n项的两倍。我们给出了该序列与折纸序列之间的联系，然后证明了关于序列(an)n >= 1中1的出现密度的猜想。

Keyword:

Self-generating sequence

Runs

Finite automata

Theorem-proving

Paperfolding sequence