On the Generic Undecidability of the Halting Problem for Normalized Turing Machines

Alexander Rybalov. On the Generic Undecidability of the Halting Problem for Normalized Turing Machines. Theory Comput. Syst., 60(4):671-676, 2017. [doi]

Abstract

Abstract is missing.