×

Automatic complexity of Fibonacci and tribonacci words. (English) Zbl 1477.68134

The nondeterministic automatic complexity \(A_N(x)\) of a word \(x\) is defined as the smallest number of states in a non-deterministic automaton that accepts the word \(x\) and does not accept any other words of the same length. The \(A_N\)-complexity rate \(A_N(x)\) of an infinite word \(x=x_1x_2\ldots\) is defined as the limit of the ratio \(A_N(x_1\ldots x_n)/n\). When this limit is defined, it is always between 0 and 1/2. Random infinite sequences have \(A_N(x)=1/2\), periodic sequences have \(A_N(x)=0\); however, until now, no infinite words were known with intermediate values of \(A_N\)-complexity rate. The paper provides the first examples of infinite words for which \(0<A_N(x)<1/2\): Fibonacci and tribonacci words. The Fibonacci word is defined as the limit of a sequence \(F_0=\varepsilon\), \(F_1=1\), \(F_2=0\), and \(F_n=F_{n-1}F_{n-2}\) for \(n\ge 3\). The name comes from the fact that the length of \(F_n\) is the \(n\)-th Fibonacci number. A tribonacci word is the limit of a similarly defined sequence \(T_0=T_1=\varepsilon\), \(T_2=2\), \(T_3=0\), \(T_4=01\), and \(T_n=T_{n-1}T_{n-2}T_{n-3}\) for \(n\ge 5\).

MSC:

68Q30 Algorithmic information theory (Kolmogorov complexity, etc.)
68Q45 Formal languages and automata
68R15 Combinatorics on words

Software:

GitHub; tetranacci

References:

[1] Finch, Steven R., (Mathematical Constants. Mathematical Constants, Encyclopedia of Mathematics and its Applications, vol. 94 (2003), Cambridge University Press: Cambridge University Press Cambridge) · Zbl 1054.00001
[2] Glen, Amy, Powers in a class of \(\mathcal{A} \)-strict standard episturmian words, Theoret. Comput. Sci., 380, 3, 330-354 (2007) · Zbl 1119.68140
[3] Hyde, Kayleigh K.; Kjos-Hanssen, Bjørn, Nondeterministic automatic complexity of overlap-free and almost square-free words, Electron. J. Combin., 22, 3 (2015), Paper 3.22, 18 · Zbl 1334.68173
[4] Karhumäki, Juhani, On cube-free \(\omega \)-words generated by binary morphisms, Discrete Appl. Math., 5, 3, 279-297 (1983) · Zbl 0505.03022
[5] Kim, Sun Young; Kjos-Hanssen, Bjørn; Felix, Clyde James, Code for automatic complexity of Fibonacci and Tribonacci words (2019), https://github.com/bjoernkjoshanssen/tetranacci
[6] Bjørn Kjos-Hanssen, Complexity lookup. http://math.hawaii.edu/wordpress/bjoern/complexity-of-0110100110010110/. · Zbl 1387.68158
[7] Kjos-Hanssen, Bjørn, Automatic complexity of shift register sequences, Discrete Math., 341, 9, 2409-2417 (2018) · Zbl 1422.94024
[8] Kjos-Hanssen, Bjørn, An incompressibility theorem for automatic complexity (2019), arXiv preprint 1908.10843v1 · Zbl 1419.68057
[9] Mignosi, F.; Pirillo, G., Repetitions in the Fibonacci infinite word, RAIRO Inform. Théor. Appl., 26, 3, 199-204 (1992) · Zbl 0761.68078
[10] Shallit, Jeffrey; Wang, Ming-Wei, Automatic complexity of strings, 2nd Workshop on Descriptional Complexity of Automata, Grammars and Related Structures (London, on, 2000). 2nd Workshop on Descriptional Complexity of Automata, Grammars and Related Structures (London, on, 2000), J. Autom. Lang. Comb., 6, 4, 537-554 (2001) · Zbl 1004.68077
[11] Sipser, Michael., A complexity theoretic approach to randomness, (Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing. Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing, STOC ’83 (1983), ACM: ACM New York, NY, USA), 330-335
[12] Tan, Bo; Wen, Zhi-Ying, Some properties of the Tribonacci sequence, European J. Combin., 28, 6, 1703-1719 (2007) · Zbl 1120.11009
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.