Медленно синхронизируемые автоматы с нулем и непокрывающие множества

Используя комбинаторные свойства непокрывающих множеств в свободном моноиде, мы строим серию конечных детерминированных синхронизируемых автоматов с нулем, для которых кратчайшее синхронизирующее слово имеет длину $n^2/4+n/2-1$, где $n$ – число состояний.
Библиография: 12 названий.