linear-einf (Zahlenfolge a[0 .. n-1], Zahl a[n]) {
if (n > 0) {
if (a[n-1] > a[n]) {
tausche (a[n-1], a[n]);
linear-einf (a[0 .. n-2], a[n-1]);
} } }
binär-einf (Zahlenfolge a[0..n-1], Zahl x) {
if (n > 0) {
Zahl i := n / 2; -- abrunden
if (a[i] < x) {
binär-einf (a[i+1 .. n-1], x);
} else {
binär-einf (a[0 .. i-1], x);
} } }