 Word over an alphabet

A word over an alphabet $\Sigma$ is a finite sequence of symbols from $\Sigma$. The empty word has length zero, and ${\Sigma }^{\ast }$ denotes the set of all finite words.