Wikipedia

Halting-problemet: Forskelle mellem versioner

Gennemse historikken interaktivt
← Gå til forrige forskelGå til næste forskel →
Content deleted Content added
VisueltWikitekst
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 en algoritme fra Turing-maskinens komputationelle klasse, som input (programmet indeholder selvog dets input f.eks., som variable)input, og returnerer om denne algoritme noglesinde stopper med det givede input?"''
 
[[Alan Turing]] beviste i 1936 at sådan algorithme ikke eksisterede i Turing-maskinens komputationelle klasse.
Hentet fra "https://da.wikipedia.org/wiki/Halting-problemet"