Obsah
- Definice - Co znamená problém Halting?
- Úvod do Microsoft Azure a Microsoft Cloud | V této příručce se dozvíte, o čem cloud computing je a jak vám může Microsoft Azure pomoci migrovat a řídit podnikání z cloudu.
- Techopedia vysvětluje problém zastavení
Definice - Co znamená problém Halting?
Problém zastavení, běžně používaný u programů a modelů Turing-complete, je problém zjistit, zda se při daném vstupu program zastaví v určitém čase nebo bude pokračovat v nekonečném běhu. Problém zastavení je raným příkladem rozhodovacího problému a také dobrým příkladem mezí determinismu v informatice.
Úvod do Microsoft Azure a Microsoft Cloud | V této příručce se dozvíte, o čem cloud computing je a jak vám může Microsoft Azure pomoci migrovat a řídit podnikání z cloudu.
Techopedia vysvětluje problém zastavení
Obecně je problém zastavení často používán v abstraktní schopnosti vysvětlit, proč může být nemožné rozhodnout, zda program bude někdy fungovat donekonečna, nebo ne. Odborníci vysvětlují, jak analýza zastavení pro daný počítač vyžaduje výrazně větší a výkonnější počítač a jak analýza zastavení pro program jakékoli významné velikosti vyžaduje velkorozměrná čísla, která by zabírala obrovské paměťové prostory.
Jiní, kteří se potýkají s povahou problému zastavení, poukazují na analýzu neurčitých smyček nebo na myšlenku, že programátoři mohou izolovat výsledky zastavení pomocí programů, které nejsou Turingovým programem, nebo konkrétních struktur počítačového jazyka. Někteří počítačoví vědci a matematici naznačují, že problém zastavení je užitečný jako vodítko pro jakýkoli počet jiných typů programovací analýzy nebo jako rozhodující metoda pro vysvětlení omezení počítačového programování méně důvtipným zúčastněným.