Запреты автоматов и двоичных функций

Оценивается сверху минимальная длина выходных слов, которые не могут быть получены на выходе заданного автомата. Улучшается известная оценка сверху запрета двоичной функции.