Digraph – Kante v→w heißt „v vor w“
laufender dfs-Aufruf auf dem Rekursionspfad (onStack) Kante wird geprüft besucht fertig (Postorder) Zyklus
Java (eigene Fassung, nach Algorithmus 4.5, Listing 4.16)

    

      
Ausgabe von main()

      
Protokoll