Застосування генетичних алгоритмів для уніфікації термів другого порядку з одномісними функціональними символами - Статья

бесплатно 0
4.5 213
Приклад приведення двох термів з одномісними функціональними символами у середовищі лямбда-алгебри. Генетичний алгоритм із використанням спеціальних метрик як альтернативний спосіб ефективного знаходження уніфікатора. Проблематика задачі уніфікації.


Заказать написание новой работы



Дисциплины научных работ



Хотите, перезвоним вам?