Versionen fra 21. apr. 2014, 08:47 redigér UsernameHere (diskussion \| bidrag) 485 edits m Tilføjede Kategori:Datalogi ved hjælp af Hotcat ← Gå til forrige forskel		Versionen fra 21. apr. 2014, 13:22 redigér fjern redigering UsernameHere (diskussion \| bidrag) 485 edits mNo edit summary Gå til næste forskel →
Linje 1: Halting-problemet er et problem indenfor [[Komputabilitetsteori\|komputabilitetsteori]]. Problemet lyder: <blockquote> ''"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?"'' </blockquote> [[Alan Turing]] beviste i 1936 at sådan algoritme ikke eksisterede i Turing-maskinens komputationelle klasse.

Halting-problemet: Forskelle mellem versioner