Config
Konjunktion aus mehreren Teilformeln:
Für jeden Teitpunkt mindestens ein Zeichen auf dem Band in jeder Zelle.
Für jeden Zeitpunkt mindestens ein Bandindex
Für jeden Zeitpunkt mindest ein Zustand
Für jeden Zeitpunkt maximal ein Zustand
Für jeden Zeitpunkt maximal ein BandIndex
Für jeden Zeitpunkt für jede Zelle immer nur ein Zeichen
Init
Rechnen
Propergate
Akzeptieren
