172
правки
Изменения
→Принцип работы
Три случая называются следующим образом:
* <math> generate</math> {{---}} "''порождение" '' переноса,* <math>kill</math> {{---}} "''уничтожение" '' переноса,* <math>propagate</math> {{---}} "''проталкивание" '' переноса;.
Поскольку последовательное применение этих трёх действий над переносами принадлежит также одному из этих типов, то можно определить композицию действий над переносами. Обозначим композицию значком <tex>\otimes</tex> и построим таблицу значений (в столбце первый аргумент, в строке — второй):
!colspan="20"|Таблица значений
|-align="center"
| <tex>\otimes</tex> || <tex>'''''k</tex> ''''' || <tex>'''''p</tex> ''''' || <tex>'''''g</tex>'''''
|-align="center"
| <tex>'''''k</tex> ''''' || <tex>k</tex> || <tex>k</tex> || <tex>g</tex>
|-align="center"
| <tex>'''''p</tex> ''''' || <tex>k</tex> || <tex>p</tex> || <tex>g</tex>
|-align="center"
| <tex>'''''g</tex> ''''' || <tex>k</tex> || <tex>g</tex> || <tex>g</tex>
|-align="center"
|}
