172
правки
Изменения
→Принцип работы
Три случая называются следующим образом:
* '''G'''enerate <math> generate</math> {{---}} "порождение" переноса,* '''K'''ill <math>kill</math> {{---}} "уничтожение" переноса,* '''P'''ropagate <math>propagate</math> {{---}} "проталкивание" переноса;
Поскольку последовательное применение этих трёх действий над переносами принадлежит также одному из этих типов, то можно определить композицию действий над переносами. Обозначим композицию значком <tex>\otimes</tex> и построим таблицу значений (в столбце первый аргумент, в строке — второй):
