Zusammenfassung und Ausblick

Im Zusammenhang mit der Programmentwicklung durch Programmtransformationen gewinnen Systeme zur automatischen Komplexitätsanalyse zunehmend an Bedeutung. Sie dienen u.a. dazu, Zwischenresultate, die während einer solchen Entwicklung entstehen, zu beurteilen und unterstützen damit den Entwickler. Oft sind viele Regeln auf einen solchen Zwischenzustand anwendbar, wobei der Effekt bzgl. der Komplexität bei der Anwendung einer Regel oft nicht bestimmt werden kann. Das Beispiel der Sortieralgorithmen zeigte, daß neben dem schlechtesten und besten Fall auch der mittlere Fall analysiert werden muß, und daß eine Berechnung der Konstanten unumgänglich ist. Die Zeitkomplexität wird in Abhängigkeit von der Größe der Eingabe ausgedrückt.