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

Материал из WEGA
Перейти к навигации Перейти к поиску

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

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

См.

Литература

  • Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. — Новосибирск: Наука. Сиб. отд-ние, 1994.