Definition:Length of String

From ProofWiki
Jump to: navigation, 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 $\len \left({S}\right)$ or $\left|{S}\right|$.


Also see


Sources