As for the HMM, Y(x) is not necessarily the full space of possible tag-sequences; specifically, for us, it is the dictionarypruned lattice without the token constraints.
as we will observe next, coupling the dictionary constraints with token-level information solves this problem.