String Exponentiation

An operation $x^k$ on a String defined as repeated concatenation:

$$=\{\begin{array}{ll}ϵ& k=0\\ x^{k-1}\circ x& k=0\end{array}$$