K-регулярная последовательность

K-регулярные последовательности – это последовательности, элементы которых могут быть записаны в виде линейных комбинаций элементов ядра.
K-регулярность обладает интересными свойствами, такими как принадлежность к классам k-автоматических и k-синхронизированных последовательностей.
K-регулярные последовательности могут быть доказаны или опровергнуты путем вычисления элементов ядра и проверки линейной независимости подмножества.
Пример опровержения k-регулярности последовательности включает доказательство того, что элементы 2-ядер последовательности не являются линейно независимыми.

Полный текст статьи:

k-регулярная последовательность — Википедия