Definition:Length of String

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


Also see


Sources