5109637051

Indeksy de Bruijna, c.d.

► podstawienie

k{s/k}

^k{s/j)

(A .t){s/J}

{to ti){s/j}

► przesunięcie indeksów

t i{k)

t ^dc(k) t^dc (A.t) tc {to ti)

k, k^j A-f{to {^s)/j + 1} to{s/j} h{s/j}

k, k < c k + d, k > c

A- t^dc+1 (t) tc {to) tc (tl)

► yS- red u kej a

(A.t) s —>stn ¹ (Uto (s)/0|)