Kód: Vybrat vše
1) Univerzální ČRF nemá ORF rozšíření.
2) K0 není rekurzivní.
2) Pruduktivní <=> úplně produktivní.
Příspěvek od Korchy »
Kód: Vybrat vše
1) Univerzální ČRF nemá ORF rozšíření.
2) K0 není rekurzivní.
2) Pruduktivní <=> úplně produktivní.
Zpět na „TIN064 Vyčíslitelnost I“