Методы построения конечных автоматов на основе ...

85правильное поведение только на входных последовательностях,соответствующих набору тестов.Оценим время вычисления функции приспособленности. Длявычисления редакционного расстояния применяется алгоритмдинамического программирования [10], время работы которогопропорционально произведению длин последовательностей, для которыхоно вычисляется. На вход этому алгоритму подаются двепоследовательности A = A 1 …A |A| и B = B 1 …B |B| . Он основан на заполнениитаблицы ED, которая определяется следующим образом: элемент ED[i, j]равен редакционному расстоянию между последовательностями A 1 …A i иB=B 1 …B j .Таким образом, время вычисления функции приспособленностиnсоставляет O ( | Output[i] | | Answer[ i]|) . Заметим также, что добавление вi1набор тестов их префиксов не увеличивает времени вычисления функцииприспособленности, так как достаточно вычислить редакционноерасстояние только для «самых больших» тестов, а для префиксовредакционное расстояние взять из таблицы, вычисляемой алгоритмомдинамического программирования.2.1.6. Операция мутации, использующаяся в методе спуска наоснове случайных мутаций и в генетическом алгоритмеПри выполнении операции мутации с заданной вероятностью (поумолчанию, она равна 0.05) выполняется одно из действий: изменениеописания каждого из переходов и удаление или добавление перехода длякаждого состояния.При изменении описания перехода с равной вероятностьювыполняется одно из следующих действий: Изменение состояния, в которое ведет переход (изменяется наслучайно выбранное).