Calcolo regolare
Vincoli soddisfatti