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

8алгоритмы оценки распределений [86], поиск с запретами [58],меметические алгоритмы [51], метод рассеянного поиска [59],квадратичное программирование [105], целочисленное программирование[113], искусственные иммунные системы [47]. При этом в настоящеевремя наибольшее распространение получили эволюционные алгоритмы[71].Как указано выше, при использовании автоматногопрограммирования возникает задача, для решения которой можно, аиногда и необходимо, применять методы поисковой инженерии ПО. Этоопределяется тем, что построение управляющих конечных автоматоввручную может представлять существенную сложность, а в ряде случаевпостроить автоматы вручную и вовсе не удается.Примерами таких задач являются: управление командойбеспилотных летательных аппаратом в соревнованиях с другой командой[21, 136], итерированная дилемма узника [98], задача о «Флибах» [1, 53],задача «Умный муравей» [79]. Полный перебор управляющих конечныхавтоматов даже при их небольших размерах крайне трудоемок, аэвристическое их построение, как отмечено выше, не всегда даетприемлемые результаты.Разработка методов решения указанной задачи является одним изшагов к автоматическому построению программ и позволит повыситьуровень автоматизации построения автоматных программ (как отмечалосьвыше, до 70% исходного кода программ может быть построеноавтоматически) и снизить влияние человеческого фактора на их качество.Как отмечается в работе [69], большая часть работ в областипоисковой инженерии ПО основана на использовании эволюционныхалгоритмов, а для решения задач проектирования ПО (к которымотносится задача построения конечных автоматов) применялись толькоэволюционные и муравьиные алгоритмы, методы имитации отжига и