TY - JOUR AU - A. O. Slisenko TI - A simplified proof of the real-time recognizability of palindromes on turing machines JO - Zapiski Nauchnykh Seminarov POMI PY - 1977 SP - 123 EP - 139 VL - 68 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ZNSL_1977_68_a9/ LA - ru ID - ZNSL_1977_68_a9 ER -