"halting" -
key terms from Wikipedia
halting
halting
problem
halting
problem
for
turing
machines
halting
set
partial
halting
solver
recognizer
solve
the
halting
problem
undecidability
of
the
halting
problem