Definitions
,
Results
,
Conjectures
▾
Set of symbols
▾
Alphabet
String
Formulation 0
Let $\mathcal{A}$ be an
D221: Alphabet
.
A
string
over
$\mathcal{A}$ is a
D63: Finite sequence
$\{ 1, \ldots, N \} \to \mathcal{A}$.
Also known as
Word, Expression