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

194«родительских» особей в особи-«потомки». Данные переходы и состоянияопределяются тестами (по умолчанию десятой частью всех тестов), накоторых автоматы показали результат «лучше», чем на остальных тестах.Функция приспособленностиФункция приспособленности основана на редакционном расстоянии.Для ее вычисления выполняются следующие действия: на вход автоматуподается каждая из последовательностей Input[i]. Обозначимпоследовательность выходных воздействий, которую сгенерировалавтомат на входе Input[i] как Output[i]. После этого для каждого теставычисляется величина0.1,ED(Output[i],Answer[i]) 1FF 1 ED(Output[i],Answer[i])1,ED(Output[ i],Answer[i]) 1i,где ED(A, B) – редакционное расстояние между строками A и B. Отметим,что значения этой функции лежат в пределах от 0 до 1, при этом, чем«лучше» автомат соответствует тесту, тем больше значение функцииприспособленности.Функция приспособленности особи зависит не только от того,насколько «хорошо» автомат работает на тестах, но и числа переходов,которые он содержит. Она вычисляется по формуле:n0.001FF (FFi (| Output[i] | | Answer[ i] |)) cnti1, где как cnt обозначено числопереходов в автомате. Эта функция приспособленности устроена такимобразом, что при одинаковом уровне прохождения тестов преимуществоимеет автомат, содержащий меньше переходов. Кроме этого, автомат,который хоть немного лучше проходит тесты, оценивается выше, чемавтомат, проходящий тесты хуже, пусть даже и имеющий меньшее числопереходов.