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