A Halting Algorithm to Determine the Existence of the Decoder | IEEE Journals & Magazine | IEEE Xplore