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); } } }