Definition
A string (or word) over an Alphabet is a finite sequence of symbols from .
The set of all strings over is denoted .
The empty string is denoted and has length 0.
Concatenation
Given strings , their concatenation is the sequence of symbols in followed by the symbols in .