The term α k−1 k,k+1 is whatever character is on the transition from state k to k + 1.
α k−1 k+1,k is the set of paths that take state k+1 to state k without passing through states higher than k. Lemma 5.