Установочные и диагностические последовательности для линейных автоматов

Получены необходимые и достаточные условия существования установочных и диагностических последовательностей для линейных автоматов и установлена верхняя оценка длин минимальных последовательностей упомянутого типа. Доказано, что если для некоторого линейного автомата существует установочная (диагностическая) последовательность длины то и все последовательности той же или большей длины также являются для этого автомата установочными (диагностическими).