Многоуровневые LP-структуры в системах переписывания

Аннотация

Вводится алгебраическая система, содержащая семантику множества правил условной эквациональной теории (или системы переписывания термов). Для данной модели рассматриваются следующие основные вопросы: существование логического замыкания, эквивалентные преобразования, построение логической редукции. Полученные результаты могут применяться для исследования и автоматической оптимизации соответствующего множества правил.