Charakteristische Eigenschaften von erkennbaren Klassen rekursiver Funktionen.