Abstrakt: Die Methode der endlichen Schleifen (verallgemeinerte adaptive Breitensuche) versucht die Termination gegebener Algorithmen zu entscheiden. Sie wird abgeleitet, ihre Korrektheit gezeigt, implementiert und zur Verkürzung der Liste ungklärter PCP-Instanzen benutzt.