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