Diskuse:Problém zastavení
Poslední komentář: před 3 lety od uživatele Jvs v tématu „Program versus data“
Problem zastaveni neni rozhodnutelny (tedy je nerozhodnutelny), ale je castecne rozhodnutelny. Veta i dukaz viz meze rozhodnutelnosti (VUT FIT). Bylo by asi vhodne uvodni vetu o tuto informaci doplnit.
Program versus data editovat
"Následně zkonstruujme program Paradox(program), který zavolá Zastaví(program, program)"
Takovy program nelze sestrojit, nebot Zastavi() ocekava jako parametry program + vstupni data tohoto programu, nikoliv dva programy. – Tento nepodepsaný komentář přidal uživatel 213.175.41.130 (diskuse • příspěvky)
- Vstupními daty programu může být úplně klidně nějaký program. Viz např. překladač. (Anebo triviálnější příklad:
type program.exe.) --Mormegil ✉ 31. 7. 2018, 18:03 (CEST)
- Jistě, ale pak to slouží jako bezvýznamná konstanta náhodných dat. K čemu by to mělo být, kromě matení čtenářů? --P.01 (diskuse) 24. 8. 2020, 22:30 (CEST)
- Jenže to nejsou ani bezvýznamná, ani náhodná data. --Jvs 25. 8. 2020, 08:13 (CEST)