Problém zastavení (halting problem) je úloha teorie vyčíslitelnosti, která může být neformálně zadána takto: Znáte-li zdrojový kód programu a jeho vstup, rozhodněte, zda program zastaví, nebo zda poběží navždy bez zastavení.V roce 1936 Alan Turing dokázal, že obecný algoritmus, který by řešil problém zastavení pro všechny vstupy všech programů, neexistuje. Problém zastavení se proto označuje jako algoritmicky nerozhodnutelný problém.
Property | Value |
prop-cs:wikiPageUsesTemplate
| |
dbpedia-owl:abstract
|
- Problém zastavení (halting problem) je úloha teorie vyčíslitelnosti, která může být neformálně zadána takto: Znáte-li zdrojový kód programu a jeho vstup, rozhodněte, zda program zastaví, nebo zda poběží navždy bez zastavení.V roce 1936 Alan Turing dokázal, že obecný algoritmus, který by řešil problém zastavení pro všechny vstupy všech programů, neexistuje. Problém zastavení se proto označuje jako algoritmicky nerozhodnutelný problém.
|
dbpedia-owl:wikiPageExternalLink
| |
dbpedia-owl:wikiPageID
| |
dbpedia-owl:wikiPageLength
| |
dbpedia-owl:wikiPageOutDegree
| |
dbpedia-owl:wikiPageRevisionID
| |
dbpedia-owl:wikiPageWikiLink
| |
dbpedia-owl:wikiPageWikiLinkText
|
- Problém zastavení
- problém zastavení
- problému zastavení
- problémem zastavení
|
dcterms:subject
| |
rdfs:comment
|
- Problém zastavení (halting problem) je úloha teorie vyčíslitelnosti, která může být neformálně zadána takto: Znáte-li zdrojový kód programu a jeho vstup, rozhodněte, zda program zastaví, nebo zda poběží navždy bez zastavení.V roce 1936 Alan Turing dokázal, že obecný algoritmus, který by řešil problém zastavení pro všechny vstupy všech programů, neexistuje. Problém zastavení se proto označuje jako algoritmicky nerozhodnutelný problém.
|
rdfs:label
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbpedia-owl:knownFor
of | |
is dbpedia-owl:wikiPageDisambiguates
of | |
is dbpedia-owl:wikiPageRedirects
of | |
is dbpedia-owl:wikiPageWikiLink
of | |
is foaf:primaryTopic
of | |