Ein Problem ist semi-entscheidbar, wenn es einen Algorithmus gibt, der Ja-Instanzen irgendwann akzeptiert.
Für Nein-Instanzen darf der Algorithmus endlos laufen.