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

68обозначена функция, значение которой равно нулю, если значения ееаргументов совпадают, и единице – в противном случае.При использовании редакционного расстояния функцияприспособленности вычисляется по формуле:edits( s',s'')f max(| s''|,|s''|). Здесь какedits(s’, s’’) обозначено редакционное расстояние между строками s’ и s’’,которое равно минимальному числу операций вставки, замены илиудаления символа, которые необходимо выполнить, для того чтобыпреобразовать строку s’ в строку s’’. Отметим, что значения всех трехуказанных функций приспособленности находятся в отрезке от 0 до 1, приэтом меньшее значение соответствует большему соответствию выходнойстроки эталону.Экспериментальное исследование алгоритмов проводилось на задачепостроения конечного преобразователя для преобразования представлениядвумерного изображения из цепного кода для четырех направлений вцепной код для восьми направлений. Применялись два набора данных. В«простом» наборе было достаточно много коротких строк, а в «сложном» –их доля была намного меньше.Результаты экспериментов показали, что наилучшие результаты на«сложном» наборе данных достигаются при использовании функцииприспособленности, основанной на редакционном расстоянии. Второй поэффективности является функция, основанная на расстоянии Хэмминга, атретьей – основанная на строгом сравнении. На «простом» набореситуация примерно такая же, только функции строгого сравнения ивычисления расстояния Хэмминга меняются местами.1.3.3. Методы, использующие верификацию при вычислениифункции приспособленностиИзвестна только одна работа [80], посвященная построениювзаимодействующих конечных автоматов с использованием генетического