Rekurzivni? NE, protoze $\overline{K}$ neni rekursivne spocetna

Rekurzivne spocetna?

ANO

Produktivni? NE - protoze kdyby byla produktivni a kreativni zaroven, znamenalo by to konec sveta

1-Uplna? ANO - dokazuje se pomoci triku s volnou promennou

Kreativni? ANO - protoze je to RSM a $\overline{K}$ je produktivni

Zpet na otazky