Postova věta
Z Wikipedie, otevřené encyklopedie
Postova věta
- Množina M je rekurzivní právě tehdy, pokud jsou jak M, tak její doplněk rekurzivně spočetné.
- Predikát P je ORP právě tehdy, pokud je P a jeho doplněk RSP.