Правило переписывания: различия между версиями
Перейти к навигации
Перейти к поиску
Glk (обсуждение | вклад) (Создана новая страница размером '''Правило переписывания''' (''Rewriting rule'') - упорядоченная пара термов <math>s</math>, <...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Правило переписывания''' (''Rewriting rule'') - | '''Правило переписывания''' (''[[Rewriting rule]]'') - | ||
упорядоченная пара термов | упорядоченная пара [[терм|термов]] | ||
<math>s</math>, | <math>s</math>, | ||
<math>t</math>, | <math>t</math>, | ||
| Строка 10: | Строка 10: | ||
содержит переменные только терма <math>t</math>. | содержит переменные только терма <math>t</math>. | ||
''' | '''Правило переписывания''' | ||
используется для порождения на множестве термов | используется для порождения на множестве термов | ||
отношения редукции. | отношения редукции. | ||
См. ''Система переписывания термов''. | ==См. == | ||
''[[Система переписывания термов]]''. | |||
==Литература== | ==Литература== | ||
[Евстигнеев-Касьянов/94] | [Евстигнеев-Касьянов/94] | ||
Версия от 16:29, 23 декабря 2009
Правило переписывания (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]