Установочные эксперименты для автоматов с изменяемой логикой поведения

В статье рассматривается задача о зависимости длины простого условного установочного эксперимента автомата от локальных преобразований диаграммы переходов и выходов автомата. Приводятся верхние и нижние оценки для функции Шеннона длины эксперимента при возможности произвольно перенаправлять любые $p$ стрелок в диаграмме Мура автомата, а также изменять значение функции выходов в $p$ точках.