Jabarkan Dalam ilmu komputer dari Transformasi semigrup

Dalam ilmu komputer, representasi Cayley dapat diterapkan untuk meningkatkan efisiensi asimtotik semigroup dengan menghubungkan kembali beberapa perkalian tersusun. Tindakan yang diberikan oleh perkalian kiri menghasilkan perkalian terkait kanan, dan sebaliknya untuk tindakan yang diberikan oleh perkalian kanan. Meskipun memiliki hasil yang sama untuk semua kelompok, efisiensi asimtotik akan berbeda. Dua contoh transformasi monoid berguna yang diberikan oleh tindakan perkalian kiri adalah variasi fungsional dari struktur data daftar diferensial, dan transformasi Codensity monadik (representasi Cayley dari sebuah monad, yang merupakan monoid dalam monoidal funktor kategori).