We assume that there is a one-to-one mapping between decision sequences d 1:j−1 and states s j : that is, we essentially assume that a state encodes the entire history of decisions.
consider a locally normalized model with scores ρ(d 1: Then it is easily verified that for all x 1:n , d 1:n .