Definition:Length of String

Definition
The length of a finite string in a formal language is the number of symbols it contains.

The length of a string $S$ can be denoted $\map \len S$ or $\size S$.

Also see

 * Definition:Null String