Halting Problem

Definition - What does Halting Problem mean?

The halting problem, commonly applied to Turing-complete programs and models, is the problem of finding out whether, with the given input, a program will halt at some time or continue to run indefinitely. The halting problem is an early example of a decision problem, and also a good example of the limits of determinism in computer science.

Techopedia explains Halting Problem

In general, the halting problem is often used in an abstract capacity to explain why it may be impossible to decide whether a program will ever run indefinitely, or not. Experts explain how halting analysis for a given computer requires a significantly larger and more powerful computer, and how halting analysis for a program of any significant size requires large-dimensional numbers that would occupy massive memory spaces.

Others struggling with the nature of the halting problem point to analysis of indefinite loops or the idea that programmers can isolate halting results using non-Turing-complete programs or particular computer language structures. Some computer scientists and mathematicians suggest that the halting problem is useful as guidance for any number of other types of programming analysis, or as a decisive method for explaining computer programming limitations to the less savvy stakeholders.

Share this:

Connect with us

Email Newsletter

Join thousands of others with our weekly newsletter

The 4th Era of IT Infrastructure: Superconverged Systems
The 4th Era of IT Infrastructure: Superconverged Systems:
Learn the benefits and limitations of the 3 generations of IT infrastructure – siloed, converged and hyperconverged – and discover how the 4th...
Approaches and Benefits of Network Virtualization
Approaches and Benefits of Network Virtualization:
Businesses today aspire to achieve a software-defined datacenter (SDDC) to enhance business agility and reduce operational complexity. However, the...
Free E-Book: Public Cloud Guide
Free E-Book: Public Cloud Guide:
This white paper is for leaders of Operations, Engineering, or Infrastructure teams who are creating or executing an IT roadmap.
Free Tool: Virtual Health Monitor
Free Tool: Virtual Health Monitor:
Virtual Health Monitor is a free virtualization monitoring and reporting tool for VMware, Hyper-V, RHEV, and XenServer environments.
Free 30 Day Trial – Turbonomic
Free 30 Day Trial – Turbonomic:
Turbonomic delivers an autonomic platform where virtual and cloud environments self-manage in real-time to assure application performance.