172
правки
Изменения
→Принцип работы
Поскольку последовательное применение этих трёх действий над переносами принадлежит также одному из этих типов, то можно определить композицию действий над переносами. Обозначим композицию значком <tex>\otimes</tex> и построим таблицу значений (в столбце первый аргумент, в строке — второй):
[[Файл:Пример компазиции.png|right|450px|thumb|Пример композиции]]
{| borderclass="3wikitable" align="center" style="color: blue; background-color:#ccffcc;" cellpadding="103" !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" |}
Поскольку функция ассоциативна, то можно распространить её на любое количество аргументов. Более того, поскольку для любого действия <tex>x</tex> выполняется равенство <tex>x \otimes p = x</tex>, то функцию от нескольких действий можно определить как "последнее не <tex>p</tex>".
