Правило переписывания: различия между версиями
Перейти к навигации
Перейти к поиску
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. | |||
Текущая версия от 11:24, 23 июня 2011
Правило переписывания (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.