Abstract
A comparatively short proof is given of the recognizability of palindromes in real time on multitape Turing machines. It is based on the same idea as the original proof by the author, and on Z. Galil's idea for simplifying the proof by using the Fischer-Paterson algorithm for finding all symmetric suffixes in linear time.
Similar content being viewed by others
Literature cited
A. O. Slisenko, “The recognition of a predicate of symmetry by multitape Turing machines with input,” Tr. Mat. Inst. Akad. Nauk SSSR,129, 30–202 (1973).
M. J. Fischer and M. S. Paterson, “String-matching and other products,” Complexity of Computations (SIAM-AMS Proc, Vol. 7) Providence, Rhode Island, 113–125 (1974).
Yu. V. Matijasevich, “On real-time recognition of the occurrence of certain relations,” J. Sov. Math.,1, No. 1 (1973).
J. H. Morris and V. R. Pratt, “A linear pattern-matching algorithm,” Tech. Rept. 40, Computing center, Univ. of California, Berkeley (1970).
Z. Galil, “Real-time algorithms for string-matching and palindrome recognition,” 8th Ann. ACM Symp. Theory Comput., Hershey, Pensylvania, May, 1976, pp. 161–173.
J. Seiferas and Z. Galil, “Real-time recognition of substring repetition and reversal,” Math. Systems Theory,11, No. 2, 111–146 (1977).
P. C. Fischer, A. R. Meyer, and A. L. Rosenberg, “Real-time simulation of multihead tape units,” J. Assoc. Comput. Mach.,19, No. 4, 590–607 (1972).
Additional information
Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 68, pp. 123–139, 1977.
Rights and permissions
About this article
Cite this article
Slisenko, A.O. A simplified proof of the real-time recognizability of palindromes on turing machines. J Math Sci 15, 68–77 (1981). https://doi.org/10.1007/BF01404109
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01404109