Болгар, Ю.Жежерун, Олександр2014-11-272014-11-272014Болгар Ю. О. Застосування генетичних алгоритмів для уніфікації термів другого порядку з одномісними функціоналтьними символами / Болгар Ю. О., Жежерун О. П. // Наукові записки НаУКМА. - 2014. - Т. 163 : Комп'ютерні науки. - С. 19-24.https://ekmair.ukma.edu.ua/handle/123456789/3401Second-order unification problem is undecidable in general case, but the decidability has been proven for lambda-algebra of second-order terms with unary functional symbols. The standard algorithm of second-order unification has an exponential complexity, while genetic algorithm with the use of special metrics as fitness function is an alternative and effective way of finding a unificator.Задача уніфікації другого порядку у загальному випадку є нерозв’язною, хоча для окремої лямбда-алгебри термів другого порядку із одномісними функціональними символами її розв’язність доведено. Стандартний алгоритм уніфікації термів другого порядку має експоненційну складність, а генетичний алгоритм із використанням спеціальних метрик як функцій пристосованості є альтернативним способом ефективного знаходження уніфікатора.ukлямбда-алгебрауніфікація другого порядкугенетичний алгоритмвідстань Дамерау-Левенштейнавідстань Джаро-Уінклерастаттяlambda-algebrasecond-order unificationgenetic algorithmDamarau-Levenshtein distanceJaro-Winkler distanceArticle