Halting-problemet: Forskelle mellem versioner
Content deleted Content added
No edit summary |
No edit summary |
||
Linje 1:
Halting-problemet er et problem indenfor [[Komputabilitetsteori|komputabilitetsteori]]. Problemet lyder:
''"Eksisterer der en [[algoritme]] i [[Turing-maskine|Turing-maskinens]] [[Komputationel klasse|komputationelle klasse]], som tager et andet arbitært computer program, som input (programmet indeholder selv dets input f.eks. som variable), og returnerer om dette program stopper?"''
[[Alan Turing]] beviste i 1936 at sådan algorithme ikke eksisterede i Turing-maskinens komputationelle klasse.
| |||