Обнаружение ошибочных последовательностей нелинейным сигнатурным анализатором

Вводится понятие оптимального сигнатурного анализатора для тестирования заданной двоичной последовательности. Анализатор строится по исходной последовательности и является нелинейным. В рамках модели ошибок, согласно которой исходная последовательность может заменяться любой другой, он по своим параметрам значительно превосходит линейный сигнатурный анализатор. Тестирование с его помощью обладает той особенностью, что в некоторых случаях длину тестируемой последовательности приходится уменьшать.