Popsat TS pro jazyk 1k01k21^{k}01^{k^2}1k01k2.
Ukázat, že div je PRF. +, sign, - a * lze použít bez odvozování.
Ukázat, že existuje n, pro které Wn={0,..,n}W_n = \{0,..,n\}Wn={0,..,n}.
Za pomoci nějakého problému z přednášky ukázat, že klika je NP úplný problém.
