Ja, nachdem mans händisch selbst auf Papier zigmal durchlaufen hat oder besser ein Programm geschrieben hat, was das für einen macht, dann wird das ganze schon um einiges klarer. Im Grunde bestehen alle drei "Systeme" aus Ersetzungsregeln. Der Unterschied bei einem Tag-System ist lediglich, dass man nur ein Symbol durch nichts oder mehrere "ersetzen" - also in dem Fall anhängen kann. Das erste Bild erklärt bis auf die Regeln recht schön wie ein 2-Tag-System funktioniert. Konstruierte Haltebedingung ist dass es keine zwei Symbole mehr zum Löschen oder Wegstreichen gibt.