Automatische Komplexitätsanalyse funktionaler Programme