TM Program for the Palindrome Problem

From Schagrin, Morton L.; Dipert, Randall R., & Rapaport, William J. (1985), Logic: A Computer Approach (New York: McGraw-Hill): 336 (corrected).