Genau-dann-wenn klassifizieren

Zuggitter, Normalformen und Hinreichendheit · Abschnitt 31 von 64

Beweis

Genau-dann-wenn klassifizieren

Eine vollständige Klassifikation hat zwei Beweisrichtungen: Invarianten trennen verschiedene Klassen; eine Konstruktion verbindet alle Zustände innerhalb derselben Klasse.

Checkliste

Erreichbarkeits-Audit

Sind Zugrichtung und Zustandsgrenzen berücksichtigt?
Ist die Invariantenbedingung wirklich notwendig bewiesen?
Gibt es für Hinreichendheit eine explizite Konstruktion?
Bleiben alle Zwischenzustände legal?