Genau dann wenn der Automat die Zustände 1, 2 und 3 aber nicht 4 besucht, wird α akzeptiert. == Verwandte Akzeptanzbedingungen == Mit der Staiger-Wagner-Bedingung sind die beiden folgenden Akzeptanzbedingungen nahe verwandt. == Transformation in einen Büchi-Automaten == Um einen Staiger-Wagner-Automaten in einen Büchi-Automaten, der dieselbe S...