Правило переписывания: различия между версиями

Перейти к навигации Перейти к поиску
нет описания правки
Нет описания правки
Нет описания правки
 
Строка 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:


==См.  ==
==См.  ==
''[[Система переписывания термов]]''.
* ''[[Система переписывания термов]]''.
==Литература==
==Литература==
[Евстигнеев-Касьянов/94]
* Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. — Новосибирск: Наука. Сиб. отд-ние, 1994.

Навигация