Schubfach, Zustandskompression und Konstruktion

Rest- und Invariantensignaturen mit dem Schubfachprinzip, endlicher Zustandswiederholung und konstruktiver Hinreichendheit verbinden.