For readers interested in simpler encodings for the Post–Turing machine the discussion of Davis in Steen (Steen 1980:251ff) may be useful.
За читаоце заинтересоване за једноставније кодирање за Пост-Тјурингове машине расправа  Дејвиса у Стину (Стин 1980: 251фф) може бити корисно.