Для каждого возможного символа на ленте (который, как я полагаю, взят из конечного набора) вам нужно состояние, которое я назову «$ X_LOOKING». Начните с левого конца и установите состояние «$ X_LOOKING» для символа $ X, который вы там найдете. Двигайтесь вправо, пока не дойдете до конца, и посмотрите, соответствует ли оно $ X.
Когда вы двигаетесь назад влево, вам придется остановиться на 2nd букве вместо первой. Для этого, возможно, вы можете отслеживать, сколько букв вы просматривали в другой области ленты.