TY - JOUR AU - L. M. Pavlotskaya TI - Solvability of the halting problem for certain classes of Turing machines JO - Matematičeskie zametki PY - 1973 SP - 899 EP - 909 VL - 13 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MZM_1973_13_6_a12/ LA - ru ID - MZM_1973_13_6_a12 ER -