Fórum studentů MFF UK

jj, to rikal i nam, ostatne mel velkou radost kdyz to mohl prozradit forstovi, ktery se tam buhviproc objevil :lol:

Jenom pridam zabavny zaver...odchazeli jsme dva jako posledni, dal nam trojku s tim, ze teda neco jsme vymysleli a konstatoval, ze kdyby se nekdo trochu zamyslel, tak 1 i 2 priklad jsou primy dusledky Riceovy vety a ze to by mu uplne stacilo:).

Tak sem byl mezi stastnejsimi co zkousku nakonec s vypenim vsechn sil a triku udelali. Skore bylo 6:5 pro Kuceru, tak se vic snazte.
Jo a taky rikal, ze dalsi terminy az v lete.

1.) Tot nie je rekurzivna
2.) A = {x: W[sub]x[/sub] != prazdna} nie je rekurzivna
3.) Uplna produktivita <=> produktivita (s tym, ze bud pouzit vetu o rekurzii alebo ak ju nepouzijeme, potom dokazat ze K' je najjednoduchsia produktivna alebo nieco, kde bude VOR pouzita...)