Hláška: Lorem ipsum dolor sit amet labore et eos.
:
Informatické
|
:
Peťa
|
:
24. 06. 2013 22:16
Peťa:
A kdy je teda nějaká množina nerekuzivní?
Ivet:
<několik minut vysvětlování, proč je množina všech programů, které necyklí rekurzivně spočetná>
Peťa:
Takže nemůžeš říct, jestli program necyklí, protože když iteruje nekončenou proměnnou na neexistujícím počítači (turingův stroj), tak nevíš, jestli jenom dlouho iteruje nebo už se zacyklil?
Ivet:
Jo! Přesně :)
Peťa:
A pak že je to k něčemu dobrý...