Halting Problem

Home > Languages > Formal Language > Recursively Enumerable Languages > Halting Problem

The halting problem is a classic example of an undecidable problem, which asks whether a given Turing machine will halt or continue running indefinitely.