停てい止し問もん題だい

noun

halting problem

In computability theory, the problem of determining whether a given program will eventually halt or run forever. A fundamental undecidable problem.

• 停てい止し問もん題だいはチューリング機き械かいの停てい止し性せいを判はん定ていする問もん題だいである。

  The halting problem is the problem of determining whether a Turing machine will halt.

• 停てい止し問もん題だいが決けっ定てい不ふ能のうであることはアラン・チューリングによって証しょう明めいされた。

  The undecidability of the halting problem was proved by Alan Turing.