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$.
Also see
Sources
- 1979: John E. Hopcroft and Jeffrey D. Ullman: Introduction to Automata Theory, Languages, and Computation ... (previous) ... (next): Chapter $1$: Preliminaries: $1.1$ Strings, Alphabets and Languages
- 1988: Dominic Welsh: Codes and Cryptography ... (previous) ... (next): Notation: Alphabets and strings
- 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability ... (previous) ... (next): $\S 1.3$: Induction on Length of Wffs