Eine endliche Folge ist eine Abbildung
\begin{array}{c, c, l} w: & [n] & \longrightarrow & \Sigma \\ & i & \longmapsto & wi \end{array}$$ für ein $n ∈ N_0$. Die Zahl $n$ bezeichnet die Länge der Folge. ## Leere Folge Die Folge mit Definitionsbereich $[0] = \varnothing$ heißt leere Folge oder leeres [[endliches Wort]]. Es wird mit $\varepsilon$ bezeichnet.