user
Nga paragrafi i mëposhtëm, cili është përfundimi kryesor në lidhje me problemin e ndalimit?
Context:Në teorinë e llogaritjes, problemi i ndalimit është problemi i përcaktimit, nga një përshkrim i një programi kompjuterik arbitrar dhe një hyrje, nëse programi do të përfundojë funksionimin, ose do të vazhdojë të funksionojë përgjithmonë. Alan Turing provoi në vitin 1936 se një algoritëm i përgjithshëm për të zgjidhur problemin e ndalimit për të gjitha palët e mundshme të programit / hyrjes nuk mund të ekzistojë. Për çdo program f që mund të përcaktojë nëse programet ndalet, një program "patologjik" g, i thirrur me disa input, mund të kalojë burimin e vet dhe inputin e tij në f dhe pastaj të bëjë specifikisht të kundërtën e asaj që f parashikon se do të bëjë g. Nuk mund të ekzistojë asnjë FBI që do ta trajtojë këtë rast. Një pjesë kryesore e provës është një përkufizim matematikor i një kompjuteri dhe programi, i cili njihet si një makinë Turing; problemi i ndalimit është i pavendosur mbi makinat Turing. Është një nga rastet e para të problemeve të vendimmarrjes që provuan të jenë të pazgjidhshme. Kjo provë është e rëndësishme për përpjekjet praktike të llogaritjes, duke përcaktuar një klasë të aplikacioneve që asnjë shpikje programimi nuk mund të kryejë në mënyrë të përsosur.
assistant
Problemi i ndalimit është i pazgjidhshëm.