@@ -161,7 +161,7 @@ Anders ausgedrückt: Wir übersetzen eine Konfiguration eines Automaten in eine
...
@@ -161,7 +161,7 @@ Anders ausgedrückt: Wir übersetzen eine Konfiguration eines Automaten in eine
\chapter{Simulation von reversiblen Zellularautomaten durch Blockpermutationen}
\chapter{Simulation von reversiblen Zellularautomaten durch Blockpermutationen}
Die Konstruktion läuft in mehreren Schritten ab: Zuerst werden $d+1$ Blockpermutationen angegeben, die, wenn sie nacheinander ausgeführt werden, den reversiblen Zellularautomaten simulieren. Anschließend wird gezeigt, dass sich die Blockpermutationen zu einer einzelnen Blockpermutation vereinigen lassen, so dass sich ein reversibler Blockzellularautomat ergibt.
Das Ziel der Arbeit von Durand-Lose ist es, beliebige reversible Zellularautomaten mit reversiblen Blockzellularautomaten zu simulieren. Um dieses Ziel zu erreichen, beschreibt er zuerst eine Reihe von Blockpermutationen, die reversible Zellularautomaten simulieren. Anschließend beweist er, dass diese Blockpermutationen zu einem Blockzellularautomaten zusammengefasst werden können.