A fast finite-state relaxation method for enforcing global constraints on sequence decoding | Synapse