Повторяющаяся бинарная операция
- Бинарная операция — это функция, которая принимает два аргумента и возвращает значение.
- В формализме Берда-Мертенса бинарная операция может быть расширена для работы с конечными последовательностями.
- Обозначим через aj, k конечную последовательность k — j элементов из S с элементами (ai) для j ≤ i < k длины.
- Неассоциативная бинарная операция задается magma.
- Повторяющиеся бинарные операции используются для представления операции, которая будет повторяться над набором с учетом некоторых ограничений.
Полный текст статьи: