Ansätze zur automatischen Komplexitätsanalyse

Es gibt zwei grundsatzlich verschiedene Ansatze zur automatischen Komplexitatsanalyse funktionaler Programme. Der eine basiert auf einem Homorphismus zwischen Typdefinitionen und Gleichungen fur erzeugende Funktionen, die die Anzahl der Objekte der Grose n definiert, und auf einem Homomorphismus zwischen der Programmstruktur und Gleichung fur erzeugenden Funktionen fur den Zeitaufwand. Der mittlere Zeitaufwand wird dann durch Analyse der Singularitaten dieser erzeugenden Funktionen bestimmt [FSZ88].