Stop-and-copy (Invariante)

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

Variablen: 0≤scan≤free≤N mathend000#

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

Invarianten:

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