a[] – rot das Zeichen d, blau der Bereich lo..hi
count[]
aux[] (ab 0 für lo..hi)
Zeichen an Position d · ▪ = String zu Ende (charAt liefert −1) aktueller Bereich lo..hi gerade bearbeitet gerade geändert Platz endgültig #k = Platz in der Eingabe
Java (nach Algorithmus 5.2, Listing 5.4 und 5.5)
Ausgabe von main()
Protokoll