Zk 29.2.2008
Napsal: 29. 2. 2008 14:12
1.) Tot nie je rekurzivna
2.) A = {x: Wx != 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...)
2.) A = {x: Wx != 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...)