![]() |
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Полная унификация программ pi' и pi'' подразумевает построение пары подстановок t1 и t2 таких, что программы t1;pi';t2 и pi'' являются эквивалентными. Проблема функциональной эквивалентности программ не является разрешимой, в связи с этим в данной работе выбрано отношение логико-термальной эквивалентности программ, аппроксимирующей функциональную.