In this section, we present constraints that are defined from advanced data structures such as automatas and diagrams, which are structures exhibiting languages.
