4624
правки
Glk (обсуждение | вклад) (Создана новая страница размером '''Правило переписывания''' (''Rewriting rule'') - упорядоченная пара термов <math>s</math>, <...) |
KEV (обсуждение | вклад) Нет описания правки |
||
(не показана 1 промежуточная версия этого же участника) | |||
Строка 1: | Строка 1: | ||
'''Правило переписывания''' (''Rewriting rule'') | '''Правило переписывания''' (''[[Rewriting rule]]'') — | ||
упорядоченная пара термов | упорядоченная пара [[терм|термов]] | ||
<math>s</math>, | <math>\,s</math>, | ||
<math>t</math>, | <math>\,t</math>, | ||
обычно записываемая в | обычно записываемая в | ||
виде | виде | ||
<math>s\longrightarrow t</math>, | <math>\,s\longrightarrow t</math>, | ||
в которой терм | в которой терм | ||
<math>s</math> отличен от переменной и | <math>\,s</math> отличен от переменной и | ||
содержит переменные только терма <math>t</math>. | содержит переменные только терма <math>\,t</math>. | ||
''' | '''Правило переписывания''' | ||
используется для порождения на множестве термов | используется для порождения на множестве термов | ||
отношения редукции. | отношения редукции. | ||
См. ''Система переписывания термов''. | ==См. == | ||
* ''[[Система переписывания термов]]''. | |||
==Литература== | ==Литература== | ||
* Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. — Новосибирск: Наука. Сиб. отд-ние, 1994. |