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

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

Навигация