Halting-problemet: Forskelle mellem versioner
Content deleted Content added
Omformulering |
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 kan komputerer om en algoritme fra Turing-maskinens komputationelle klasse noglesinde stopper med et givet input?"''
[[Alan Turing]] beviste i 1936 at sådan algorithme ikke eksisterede i Turing-maskinens komputationelle klasse.
|