Kazalo:
Opredelitev - Kaj pomeni problem zaustavljanja?
Težava zaustavljanja, ki se običajno uporablja za Turingove programe in modele, je težava z ugotovitvijo, ali se bo z določenim vhodom program v nekem času ustavil ali se še naprej izvajal v nedogled. Problem zaustavljanja je zgodnji primer težave pri odločanju in tudi dober primer meja determinizma v računalništvu.
Tehopedija razlaga problem zaustavljanja
Na splošno se problem zaustavljanja pogosto uporablja v abstraktni obliki, da bi razložil, zakaj se je nemogoče odločiti, ali se bo program kdaj izvajal v nedogled, ali ne. Strokovnjaki pojasnjujejo, kako za zaustavitev analize za določen računalnik potrebuje bistveno večji in zmogljivejši računalnik in kako za zaustavitev analize programa pomembne velikosti potrebujejo velike dimenzijske številke, ki bi zasedale ogromne pomnilniške prostore.
Drugi, ki se spopadajo z naravo problema zaustavljanja, kažejo na analizo nedoločenih zank ali na idejo, da lahko programerji izolirajo rezultate zaustavljanja z uporabo ne-Turingovih programov ali določenih računalniških jezikovnih struktur. Nekateri računalniški znanstveniki in matematiki menijo, da je problem zaustavljanja uporaben kot smernica za številne druge programske analize ali kot odločilen način za razlago omejitev računalniškega programiranja manj pametnim deležnikom.
