Было показано [41], что при условии существования единичного элемента каждая такая задача унификации соответствует множеству ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Лупанов О.Б. Кибернетический сборник Выпуск25


Было показано [41], что при условии существования единичного элемента каждая такая задача унификации соответствует множеству однородных уравнений, а число наиболее общих унификаторов пропорционально размерности пространства решений. Таким образом, сложность АС-унификации определяется главным образом числом способов распределения подтермов по переменным. Другими словами, АС-унификация была бы значительно проще, если бы термы не содержали переменных.

(cкачать страницу)

Смотреть книгу на libgen

Было показано [41],  что при условии существования единичного элемента каждая такая задача унификации соответствует множеству однородных уравнений,  а число наиболее общих унификаторов пропорционально размерности пространства решений.  Таким образом,  сложность АС-унификации определяется главным образом числом способов распределения подтермов по переменным.  Другими словами,  АС-унификация была бы значительно проще,  если бы термы не содержали переменных.