Definition:Length of String

Jump to navigation Jump to search

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$.