Normalformen und Konstruktionen

Zuggitter, Normalformen und Hinreichendheit · Abschnitt 30 von 64

Strategie

Eine Normalform liefert Hinreichendheit, wenn jeder Zustand einer Invariantenklasse legal auf denselben kanonischen Vertreter reduziert werden kann.

Achtung

Umkehrbarkeit nie stillschweigend annehmen

Achtung: Negative Koeffizienten sind Rückwärtszüge – nur zulässig, wenn der Zug wirklich umkehrbar ist.