Meine ursprüngliche Aussage war natürlich zugespitzt und vielleicht auch etwas polemisch. Eine scharfe Grenze gibt es beim Kontrollverlust sicher nicht. Schon ein C-Programm ist im strikten Sinn keine »genau definierte Handlungsvorschrift« mehr. Aber Fragen wie die, ob ich bestimmen kann, dass das größere Teilfeld ohne Rekursion bzw. mit Endrekursion sortiert wird, entscheiden halt u.U. darüber, ob der Algorithmus einige KB oder einige GB (und entsprechend Zeit) benötigt. Das mag für den Theoretiker irrelevant sein; in der Praxis spielen solche Resourcenfragen aber durchaus eine Rolle.