Методы построения конечных автоматов на основе ...
Методы построения конечных автоматов на основе ...
Методы построения конечных автоматов на основе ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
74GeneticProgrammingwith FitnessСистема двухвзаимодействующих<strong>конечных</strong> <strong>автоматов</strong>(1+λ)- эволюцион<strong>на</strong>ястратегияГрафыпереходовНа <strong>основе</strong> верификацииbased onModelChecking [80]На основании проведенного обзора можно сделать следующиевыводы: главное отличие управляющих <strong>конечных</strong> <strong>автоматов</strong> от другихтипов <strong>конечных</strong> <strong>автоматов</strong> (<strong>конечных</strong> преобразователей ираспоз<strong>на</strong>вателей) состоят в том, что в пометки переходоввходят булевы формулы, зависящие от входных переменных; для <strong>построения</strong> управляющих <strong>конечных</strong> <strong>автоматов</strong> ранееприменялись только методы, использующие вычислениефункции приспособленности <strong>на</strong> <strong>основе</strong> моделирования; в работах, использующих эволюционную стратегию и методспуска (в частности, в работах [80, 89]) выбор этих методовобоснован тем, что для <strong>конечных</strong> <strong>автоматов</strong> труднопредложить осмысленный способ выполнения операциискрещивания; практически нет работ, в которых проводится сравнениеразличных методов <strong>построения</strong> <strong>конечных</strong> <strong>автоматов</strong>,основанных <strong>на</strong> алгоритмах поисковой оптимизации. Этоподтверждается работой [69], в которой упоми<strong>на</strong>ется, что вобласти поисковой инженерии ПО <strong>на</strong>блюдается такая жеситуация; только од<strong>на</strong> работа посвяще<strong>на</strong> построению <strong>конечных</strong><strong>автоматов</strong> с вычислением функции приспособленности <strong>на</strong><strong>основе</strong> верификации.
Change language