Rewriting
—сущ.
перезапись
переписывание; переписывающий
представление (напр., математического выражения) в другом виде
Словосочетания
term rewriting — преобразование терма (логического выражения)
rewriting circuit — схема перезаписи
rewriting device — устройство перезаписи
rewriting process — процесс перезаписи
rewriting rule — правило подстановки
rewriting indices — переименование индексов
address rewriting — переопределение адресов
parallel rewriting system — система параллельной перезаписи
rewriting hologram — перезаписанная голограмма
rewriting of variables — переименование переменных
