Automatic complexity of shift register sequences
arXiv:1607.08226 · doi:10.1016/j.disc.2018.05.015
Abstract
Let be an -sequence, a maximal length sequence produced by a linear feedback shift register. We show that has maximal subword complexity function in the sense of Allouche and Shallit. We show that this implies that the nondeterministic automatic complexity is close to maximal: , where is the length of . In contrast, Hyde has shown for all sequences of length .
Preliminary version: "Shift registers fool finite automata", Lecture Notes in Computer Science 10388 (2017), 170-181, Workshop on Logic, Language, Information and Computation (WoLLIC) 2017