length-preserving loops

Für Schleifen für längenerhaltende SRS kann man die FC-Aufzählung einschränken. Beispiel

Gebhardt/10:

(RULES  0 0 0 0 -> 0 1 1 1 , 1 0 0 1 -> 0 0 1 0)

innerhalb einer Schleife kann die zweite Regel nie außen links angewendet werden, denn sie ersetzt den linken Buchstaben 1 durch 0, und daraus wird nie eine 1.

D.h., man braucht nur die Closures aufzuzählen, die mit 1. Regel beginnen (und dann innere Schritte und Rechts-Erweiterung).