Правило переписывания: различия между версиями
Перейти к навигации
Перейти к поиску
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] | ||