Lauflängen
Lauflängen bezeichnet die Längen von Läufen identischer Symbole in einer Sequenz. Ein Lauf ist eine maximale Folge gleicher Werte, und die Lauflänge gibt an, wie viele aufeinanderfolgende Token denselben Wert tragen. In einer Sequenz aus Symbolen übt jeder Wechsel des Symbols einen neuen Lauf aus, der durch seine Länge beschrieben wird.
Formal lässt sich eine Sequenz s1, s2, ..., sn über einem Alphabet A betrachten. Ein Lauf beginnt
Run-Length-Encoding (RLE) ist ein bekanntes Verfahren, das Lauflängen nutzt, um Daten zu komprimieren. Dabei werden Symbol
Anwendungsbereiche umfassen lossless Bild- und Video-Kompression, Druckdaten, Textverarbeitung mit vielen Wiederholungen sowie bestimmte Formen der Bioinformatik,