sentences:  Other global constraints extend the expressivity of the constraint framework.In this case, they usually capture a typical structure of combinatorial problems.For instance, the codice_3 constraint expresses that a sequence of variables is accepted by a deterministic finite automaton.