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

Материал из WikiGrapp
Перейти к навигации Перейти к поиску
(Создана новая страница размером '''Правило переписывания''' (''Rewriting rule'') - упорядоченная пара термов <math>s</math>, <...)
 
Нет описания правки
 
(не показана 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>.


'''П.п.'''
'''Правило переписывания'''
используется для порождения на множестве термов
используется для порождения на множестве термов
отношения редукции.
отношения редукции.


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