4625
правок
Правило переписывания: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 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>. | ||
'''Правило переписывания''' | '''Правило переписывания''' | ||
| Строка 15: | Строка 15: | ||
==См. == | ==См. == | ||
''[[Система переписывания термов]]''. | * ''[[Система переписывания термов]]''. | ||
==Литература== | ==Литература== | ||
* Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. — Новосибирск: Наука. Сиб. отд-ние, 1994. | |||