Алгоритм Кнута-Бендикса: различия между версиями
Перейти к навигации
Перейти к поиску
Glk (обсуждение | вклад) (Создана новая страница размером '''Алгоритм Кнута-Бендикса''' (''D.Knuth, P.Bendix'') - алгоритм построения ''полной сис...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| (не показаны 2 промежуточные версии этого же участника) | |||
| Строка 1: | Строка 1: | ||
'''Алгоритм Кнута-Бендикса''' (''D.Knuth, P.Bendix'') - | '''Алгоритм Кнута-Бендикса''' ([[D.Knuth|''D.Knuth]], [[P.Bendix|P.Bendix]]'') - | ||
алгоритм построения ''полной системы переписывания термов''. | [[алгоритм|алгоритм]] построения [[полная система переписывания термов|''полной системы переписывания термов'']]. | ||
==Литература== | ==Литература== | ||
* Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. - Новосибирск: Наука. Сиб. отд-ние, 1994. | |||
Текущая версия от 16:38, 11 ноября 2010
Алгоритм Кнута-Бендикса (D.Knuth, P.Bendix) - алгоритм построения полной системы переписывания термов.
Литература
- Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. - Новосибирск: Наука. Сиб. отд-ние, 1994.