Jabarkan Monoid dalam ilmu komputer dari Monoid

Dalam ilmu komputer, banyak tipe data abstrak dapat diberkahi dengan struktur monoid. Dalam pola yang sama, Sebuah urutan elemen monoid adalah "dilipat" atau "terakumulasi" untuk menghasilkan nilai akhir. Misalnya, banyak algoritme iteratif perlu memperbarui beberapa jenis "menjalankan total" pada setiap iterasi; pola ini dapat diekspresikan secara elegan dengan operasi monoid. Alternatifnya, asosiasi operasi monoid memastikan bahwa operasi dapat paralel dengan menggunakan jumlah awalan atau algoritma serupa, untuk memanfaatkan banyak inti atau prosesor secara efisien.

Diberikan urutan nilai tipe  M  dengan elemen identitas  dan operasi asosiatif , operasi  lipat  didefinisikan sebagai berikut:

Selain itu, struktur data apa pun dapat 'dilipat' dengan cara yang sama, mengingat serialisasi elemennya. Misalnya, hasil dari "melipat" sebuah pohon biner mungkin berbeda tergantung pada pemesanan di muka vs. setelah pesanan traversal pohon.