User:Jshflynn/Definition:String power
Jump to navigation
Jump to search
Definition
Let $\Sigma$ be an alphabet.
Let $x$ be a word over $\Sigma$ and $\circ$ denoted concatenation.
Then the $n$-th string power of $x$, where $n \in \mathbb{N}_0$, is denoted $x^{n}$ and defined inductively:
- $
x^{n} = \begin{cases} \lambda & \text{if }n=0 \\ x^{n-1} \circ x & \text{if }n > 0 \end{cases} $