Системы переписывания

Правило переписывания

Пара (l, r), где l - левая часть, а r - правая часть, определяющая, как заменить один шаблон другим в выражении. Переписывание применяется, когда шаблон l идентифицируется в преобразуемом терме.

← Назад