Maximale Summe

#Studium #Informatik #Definition #BeKo

Für ein LOOP-Programm $P$ ist die Funktion $f_{P} : N \to N$ als die maximale Summe aller Variablenendwerte definiert, die $P$ erzeugen kann, wenn die Summe der initialen Belegungswerte höchstens $n$ beträgt. Sie dient als Maß für das Wachstum der von $P$ berechenbaren Werte.

f_{P} (n) := max {\sum_{i = 0}^{k} F_{P}^{i} (n_{0}, \dots, n_{k}) | \sum_{i = 0}^{k} n_{i} \leq n}