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

Материал из WikiGrapp
Версия от 18:20, 22 декабря 2009; Glk (обсуждение | вклад) (Создана новая страница размером '''Правило переписывания''' (''Rewriting rule'') - упорядоченная пара термов <math>s</math>, <...)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

Правило переписывания (Rewriting rule) - упорядоченная пара термов [math]\displaystyle{ s }[/math], [math]\displaystyle{ t }[/math], обычно записываемая в виде [math]\displaystyle{ s\longrightarrow t }[/math], в которой терм [math]\displaystyle{ s }[/math] отличен от переменной и содержит переменные только терма [math]\displaystyle{ t }[/math].

П.п. используется для порождения на множестве термов отношения редукции.

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

Литература

[Евстигнеев-Касьянов/94]