Система переписывания рефератов

• Абстрактная система перезаписи (ARS) — формализм, отражающий свойства систем перезаписи. 
• ARS — это набор объектов и бинарное отношение, традиционно обозначаемое →. 
• ARS достаточно для описания важных свойств систем перезаписи, таких как нормальные формы и завершение. 
• Существует несколько формализаций переписывания в абстрактной среде. 
• Формализация Жерара Юэ (1980) является наиболее распространенной. 
• ARS — это математический объект, эквивалентный системе перехода между состояниями без маркировки. 
• Основные понятия ARS включают нормальные формы, объединение, свойство Черча-Россера и слияния. 
• Завершение и конвергенция также являются важными свойствами ARS.