Title: Zur Charakterisierung von Programmen mit endlichen Arten