\rightarrow {\langle p_2,c \rangle} $

    -   $ {\langle p_3,c \rangle} \rightarrow {\langle p_3,c+1 \rangle} $

    -   $ {\langle p_4,c \rangle} \rightarrow {\langle p_4,c+1 \rangle} $

-   When reading a symbol 1:

    -   $ {\langle p_0,c \rangle} \rightarrow {\langle p_0,c \rangle} $

    -   $ {\langle p_1,c \rangle} \rightarrow {\langle p_1,c \rangle} + \frac{1}{2} {\langle p_3,c+1 \rangle} - \frac{1}{2} {\langle p_4,c+1 \rangle} $

    -   $ {\langle p_2,c \rangle} \rightarrow {\langle p_2,c \rangle} $

    -   $ {\langle p_3,c \rangle} \rightarrow {\langle p_3,c+1 \rangle} $

    -   $ {\langle p_4,c \rangle} \rightarrow {\langle p_4,c+1 \rangle} $

-   When reading a symbol 2:

    -   $ {\langle p_0,c \rangle} \rightarrow {\langle p_0,c \rangle} $

    -   $ {\langle p_1,c \rangle} \rightarrow {\langle p_1,c-1 \rangle} - \frac{1}{2} {\langle p_3,c \rangle} + \frac{1}{2} {\langle p_4,c \rangle} $

    -   $ {\langle p_2,c \rangle} \rightarrow {\langle p_2,c-1 \rangle} $

    -   $ {\langle p_3,c \rangle} \rightarrow {\langle p_3,c \rangle} $

    -   $ {\langle p_4,c \rangle} \rightarrow {\langle p_4,c \rangle} $

Let $ w $ be the input, let $ n=|w| $, $ x = w^r $, and $ |w|_2 = k \geq 1 $. The affine state before reading the right end-marker is $${\langle p_0,0 \rangle} + {\langle p_1,-k \rangle} - {\langle p_2,-k 