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 $\operatorname {len} \left({S}\right)$ or $\left|{S}\right|$.

Also see

 * Definition:Null String