回文（abba とか abaaaba とか、左右対称の文字列）を認識するプログラム：

δ(s, a, □) = (s, a, →, a, →)
δ(s, b, □) = (s, b, →, b, →)
δ(s, ＞, ＞) = (s, ＞, →, ＞, →)
δ(s, □, □) = (q, □, ←, □, -)
δ(q, a, □) = (q, a, ←, □, -)
δ(q, b, □) = (q, b, ←, □, -)
δ(q, ＞, □) = (p, ＞, →, □, ←)
δ(p, a, a) = (p, a, →, □, ←)
δ(p, b, b) = (p, b, →, □, ←)
δ(p, a, b) = ("no", a, -, b, -)
δ(p, b, a) = ("no", b, -, a, -)
δ(p, □, ＞) = ("yes", □, -, ＞, →)