163: Комп'ютерні науки
Permanent URI for this collection
Browse
Browsing 163: Комп'ютерні науки by Subject "Damarau-Levenshtein distance"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Item Застосування генетичних алгоритмів для уніфікації термів другого порядку з одномісними функціоналтьними символами(2014) Болгар, Ю.; Жежерун, ОлександрЗадача уніфікації другого порядку у загальному випадку є нерозв’язною, хоча для окремої лямбда-алгебри термів другого порядку із одномісними функціональними символами її розв’язність доведено. Стандартний алгоритм уніфікації термів другого порядку має експоненційну складність, а генетичний алгоритм із використанням спеціальних метрик як функцій пристосованості є альтернативним способом ефективного знаходження уніфікатора.