Stop-and-copy (Invariante)

fromspace, tospace : array [ 0 ...N ] of cell

Variablen: 0≤scan≤free≤N

einige Zellen im fromspace enthalten Weiterleitung (= Adresse im tospace)

Invarianten:

• scan≤free
• Zellen aus tospace [0 ...scan-1] zeigen in tospace
• Zellen aus tospace [scan ...free-1] zeigen in fromspace
• wenn man in G (mit Wurzel tospace[0]) allen Weiterleitungen folgt, erhält man isomorphes Abbild von G₀ (mit Wurzel fromspace[0]).