Translation Monoids and Recursive Evaluation in Finite Binary Algebras

Volkan Yildiz

Let \(A=(A,\star)\) be a finite binary algebra, not necessarily associative. For each \(n\geq 1\), every full binary bracketing on \(x_1,\dots,x_n\) determines an \(n\)-ary term op…