ПЕРЕПИСЫВАНИЕ
Определение
широкий спектр техник, методов и теоретических результатов, связанных с процедурами последовательной замены частей формул или термов формального языка по заданной схеме — системе переписывающих правил.
Источник: наш словарь
💬 Комментарии и оценки
Загрузка комментариев...