Переписывание

• Системы перезаписи терминов являются формальными системами для переписывания терминов в алгебре. 
• Термины состоят из двоичных операторов и унарного оператора. 
• Системы перезаписи терминов обладают всей мощью машин Тьюринга. 
• Правило перезаписи представляет собой пару терминов, указывающую на возможность замены левой стороны на правую. 
• Система переписывания терминов состоит из набора правил. 
• Переписывание термина задается набором правил и может рассматриваться как абстрактная система переписывания. 
• Завершение и конвергенция систем перезаписи решаются в абстрактной системе перезаписи. 
• Системы перезаписи высшего порядка обобщают системы перезаписи терминов первого порядка на лямбда-термины. 
• Системы перезаписи графиков являются обобщением систем перезаписи терминов, работающих с графами. 
• Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.